Commit 2025-03-30 19:29 15480083

View on Github →

feat: Fin.castPred_eq_zero (#22116)

Estimated changes

added theorem Fin.castPred_eq_zero