Theorem CategoryTheory.μ_naturality

Modification history