Theorem CategoryTheory.MonoidalClosed.homEquiv_symm_apply_eq

Modification history