Theorem MonCat.hom_one

Modification history