Theorem Set.OrdConnected.apply_covBy_apply_iff

Modification history