Theorem Cardinal.mk_pi_congr_lift

Modification history