Skip to content
Build

finish the proof of aut_equiv_of_finrank_eq_one and move the file into ain dir #77

Sign in to view logs

finish the proof of aut_equiv_of_finrank_eq_one and move the file into ain dir

finish the proof of aut_equiv_of_finrank_eq_one and move the file into ain dir #77

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
1m 44s
1m 44s