Theorem Set.OrdConnected.upperClosure_inter_lowerClosure

Modification history