Theorem Finset.fin_mono

Modification history

2025-10-31 08:47
Mathlib/Data/Finset/Fin.lean
chore: remove declarations deprecated before 2025-04-21 (#30759) …
Deleted Finset.fin_monoView on Github →
2025-04-08 16:19
Mathlib/Data/Finset/Fin.lean
chore(Data/Finset): deprecate Finset.fin (#23830)
Modified Finset.fin_monoView on Github →
2025-04-06 17:06
Mathlib/Data/Finset/Fin.lean
feat(Finset/Fin): expand `attachFin` API (#23703) …
Modified Finset.fin_monoView on Github →
2023-01-16 11:54
Mathlib/Data/Finset/Image.lean
feat: port Data.Finset.Image (#1586)
Added Finset.fin_monoView on Github →