Theorem IsLocalization.ne_zero_of_mk'_ne_zero

Modification history