Theorem Function.const_inj

Modification history