Theorem Nat.dist_self

Modification history