Theorem IsIntegrallyClosed.of_iInf_eq_bot

Modification history