Theorem Fin.neg_def
Modification history
2024-07-01 02:54
Mathlib/Data/Fin/Basic.lean
chore: move toolchain to v4.10.0-rc1 and merge bump/v4.10.0 (#14311)
Added Fin.neg_defView on Github →2023-01-12 19:47
Mathlib/Data/Fin/Basic.lean
feat: port Data.Fin.Basic (#1084) …
Deleted Fin.neg_defView on Github →