Theorem Nat.lxor'_right_injective

Modification history