Theorem Function.fromTypes_succ

Modification history