adapting proofs to modified FS_Induction theorem #1018
Triggered via pull request
December 13, 2025 13:56
muenchnerkindl
Status
Success
Total duration
27m 44s
Artifacts
–