mathlib3
483b54f1 - refactor(logic/equiv/set): open set namespace (#14355)

Commit

3 years ago

refactor(logic/equiv/set): open set namespace (#14355)

Author

fpvandoorn

fpvandoorn

Parents

Loading