Theorem Set.inclusion_inj

Modification history

2025-03-04 11:47
Mathlib/Data/Set/Basic.lean
chore: split long file Mathlib.Data.Set.Basic (#22484)
Modified Set.inclusion_injView on Github →
2023-09-04 13:19
Mathlib/Data/Set/Basic.lean
feat(Data/Set): +3 lemmas about `Set.inclusion` (#6944)
Added Set.inclusion_injView on Github →