Theorem Cardinal.mk_arrow

Modification history