Theorem Cardinal.mk_arrow_eq_zero_iff

Modification history