Commit 2025-07-13 12:29 d17cce22

View on Github →

feat: Fin.castPred_ne_zero (#27010)

Estimated changes

added theorem Fin.castPred_ne_zero