adapting proofs to modified FS_Induction theorem #76
Triggered via pull request
December 11, 2025 16:15
muenchnerkindl
Status
Success
Total duration
10m 50s
Artifacts
–