Theorem CategoryTheory.μ_naturalityₗ

Modification history