Theorem IsClosed.preimage

Modification history