Theorem Nat.lor'_assoc

Modification history