Theorem Function.const_one

Modification history