Theorem Nat.find_comp_succ

Modification history