Theorem Cardinal.mk_ne_zero

Modification history