Theorem Cardinal.mk_pi_congrRight

Modification history