Theorem UpperSet.infIrred_iff_of_finite

Modification history