Theorem CategoryTheory.μ_naturalityᵣ

Modification history