Theorem CategoryTheory.μ_hom_inv_app

Modification history