Theorem CategoryTheory.μ_inv_naturality

Modification history