Theorem IsLocalization.sec_snd_ne_zero

Modification history