Theorem Cardinal.mk_plift_true

Modification history