Theorem Cardinal.mk'_def

Modification history