Theorem Rep.leftRegularHom_apply

Modification history