Theorem Cardinal.mk_pi_congrRight_prop

Modification history