Theorem CategoryTheory.Paths.ext_functor

Modification history