Skip to content

reverting time limit

6f27db0
Select commit
Loading
Failed to load commit list.
Merged

adapting proofs to modified FS_Induction theorem #190

reverting time limit
6f27db0
Select commit
Loading
Failed to load commit list.