Theorem IsOpen.isLocallyClosed

Modification history