Theorem Nat.choose_self

Modification history