Theorem Nat.lxor'_trichotomy

Modification history