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

Triggered via pull request October 26, 2024 06:11
@yhtqyhtq
opened #1
others-GuoZixun
Status Success
Total duration 1m 54s
Artifacts –

build.yaml

on: pull_request
build
1m 44s
build
Fit to window
Zoom out
Zoom in