Theorem Nat.choose_one_right

Modification history