Theorem Sigma.card_Ioo

Modification history