Theorem Set.OrdConnected.apply_wcovBy_apply_iff

Modification history