Theorem Set.BijOn.iInter_comp

Modification history

2026-08-24 10:14
Mathlib/Data/Set/Lattice.lean
refactor(Data/Set): split long file Lattice.lean (#43030) …
Modified Set.BijOn.iInter_compView on Github →
2026-01-19 08:37
Mathlib/Data/Set/Lattice.lean
feat: lemmas to change variables in iSup / iInf / iUnion / iInter over a set (#33844) …
Added Set.BijOn.iInter_compView on Github →