Theorem NeZero.nat_of_injective

Modification history