Theorem Fin.Iio_last_eq_map
Modification history
2024-05-23 11:18
Mathlib/Data/Fintype/Fin.lean
chore: Remove order dependencies to `Data.Fin.Basic` (#13005) …
Modified Fin.Iio_last_eq_mapView on Github →2023-12-30 02:31
Mathlib/Data/Fintype/Fin.lean
chore(Data/Fintype/Fin): golf a proof (#9336) …
Modified Fin.Iio_last_eq_mapView on Github →