Theorem Cardinal.mk_pSum

Modification history