Theorem IsLocallyInjective.isOpen_eqLocus

Modification history