Theorem Sigma.card_Ioc

Modification history