Theorem Cardinal.mk_sigma_congr_lift

Modification history