Commit 2023-09-04 13:19 05474e33

View on Github →

feat(Data/Set): +3 lemmas about Set.inclusion (#6944)

Estimated changes

Modified Mathlib/Data/Set/Basic.lean

added theorem Set.inclusion_inj

added theorem Set.inclusion_le_inclusion

added theorem Set.inclusion_lt_inclusion