Theorem TopHom.inf_apply

Modification history