Theorem SupHom.const_apply

Modification history