Theorem LowerSet.supIrred_iff_of_finite

Modification history