Theorem Cardinal.mk_psigma_congrRight

Modification history