Theorem Nat.lxor'_assoc

Modification history