mathlib3
767e6ae0 - refactor(topology): make two definitions irreducible from the start (#6060)

Commit

4 years ago

refactor(topology): make two definitions irreducible from the start (#6060)

Author

sgouezel

sgouezel

Parents

Loading