Commit 2024-11-14 01:18 6d294183

View on Github →

feat(Data/Fin): Add lemmas Fin.not_odd_iff_even_of_even and Fin.not_even_iff_odd_of_even (#18960)

Estimated changes