Theorem Cardinal.mk_pLift_true

Modification history