mathlib
19bcf65c - chore(data/set/basic): Simp `(⊤ : set α)` to `set.univ` (#4963)

Commit

5 years ago

chore(data/set/basic): Simp `(⊤ : set α)` to `set.univ` (#4963)

Author

eric-wieser

eric-wieser

Parents

Loading