Theorem Cardinal.mk_vector

Modification history