Mathlib v3 is deprecated. Go to Mathlib v4

Theorem set.subset.rfl

Modification history

2020-06-27 05:25

src/data/set/basic.lean

feat(set): preliminaries for Haar measure (#3189) …

Added set.subset.rfl View on Github →