Theorem Function.const_injective

Modification history