Theorem InfHom.inf_apply

Modification history