Theorem Nat.lxor'_left_injective

Modification history