Theorem SupHom.top_apply

Modification history