Theorem UpperSet.infIrred_Ici

Modification history