Theorem CategoryTheory.Cat.freeReflMap_naturality

Modification history