Theorem Filter.HasBasis.exists_antitone_subbasis

Modification history