mathlib
499ab570 - 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

Parents

Loading