Theorem List.ofFn_succ

Modification history