Theorem IsOpen.isClopenable

Modification history