Theorem AlgCat.ofHom_apply

Modification history