Theorem Function.const_ne_one

Modification history