Theorem Int.preimage_Ioc

Modification history