Theorem Set.OrdConnected.apply_covby_apply_iff

Modification history