Theorem Cardinal.mk_pi_congr

Modification history