Theorem Function.const_apply

Modification history