Theorem CategoryTheory.μ_inv_hom_app

Modification history