Theorem IsLocalization.isInteger_zero

Modification history