mathlib3
23f73fe0 - refactor(topology/constructions): golf, add `@[simp]`/`iff` variants (#16539)

Commit

3 years ago

refactor(topology/constructions): golf, add `@[simp]`/`iff` variants (#16539)

Author

urkud

urkud

Committer

b-mehta

b-mehta

Parents

Loading