Theorem Cardinal.mk_sigma_arrow

Modification history