Theorem Fin.val_add_eq_of_add_lt

Modification history

2024-11-11 12:43
Mathlib/Data/Fin/Basic.lean
feat(Data/Fin/Parity): add lemmas about parity of `Fin` numbers (#8960)
Added Fin.val_add_eq_of_add_ltView on Github →