Theorem Cardinal.mk_int

Modification history