Theorem CategoryTheory.μ_naturality₂

Modification history