Theorem IsOpen.mono

Modification history