Theorem SeparatedNhds.preimage

Modification history