Theorem Fin.eq_of_veq
Modification history
2024-08-14 01:35
Mathlib/Init/Data/Fin/Basic.lean
chore: delete `Init.Data.Fin.Basic` (#15762)
Deleted Fin.eq_of_veqView on Github →2024-06-10 06:26
Mathlib/Init/Data/Fin/Basic.lean
chore(*): fix more deprecated dates (#13674)
Modified Fin.eq_of_veqView on Github →