Theorem Cardinal.mk_congr

Modification history