Theorem Cardinal.mk_sigma_congrRight

Modification history