Theorem Cardinal.mk_psigma_congrRight_prop

Modification history