Theorem NeZero.nat_of_neZero

Modification history