Theorem InfHom.const_apply

Modification history