Theorem CategoryTheory.Pi.isoApp_symm

Modification history

2023-02-15 04:55
Mathlib/CategoryTheory/Pi/Basic.lean
feat port/CategoryTheory.Pi.Basic (#2230)
Added CategoryTheory.Pi.isoApp_symmView on Github →