Theorem CategoryTheory.μ_inv_naturalityᵣ

Modification history