Theorem Cardinal.mk_congr_lift

Modification history