Theorem Function.const_def

Modification history