Theorem IsOpen.preimage

Modification history