Theorem ContinuousOn.isOpen_inter_preimage

Modification history