Theorem sInfHom.top_apply

Modification history