Theorem CategoryTheory.ε_inv_naturality

Modification history