Theorem CategoryTheory.μ_inv_naturalityₗ

Modification history