Category:Maximal Ideal WRT Filter Complement is Prime in Distributive Lattice

From ProofWiki
Jump to navigation Jump to search