Theorem Cardinal.mk_pLift_false

Modification history