Theorem Set.inclusion_le_inclusion

Modification history

2025-03-05 06:23
Mathlib/Data/Set/Inclusion.lean
feat: generalize order typeclasses (#22569) …
Modified Set.inclusion_le_inclusionView on Github →
2025-03-04 11:47
Mathlib/Data/Set/Basic.lean
chore: split long file Mathlib.Data.Set.Basic (#22484)
Modified Set.inclusion_le_inclusionView on Github →
2023-09-04 13:19
Mathlib/Data/Set/Basic.lean
feat(Data/Set): +3 lemmas about `Set.inclusion` (#6944)
Added Set.inclusion_le_inclusionView on Github →