Theorem MonCat.oneHom_apply

Modification history