Theorem CategoryTheory.Core.hom_ext

Modification history