Theorem CategoryTheory.ε_naturality

Modification history