Theorem Cardinal.mk_unit

Modification history