Theorem OneHom.single_apply

Modification history