Theorem CategoryTheory.Pi.ext

Modification history

2023-06-19 13:10
Mathlib/CategoryTheory/Pi/Basic.lean
chore: cleanup CategoryTheory.Pi.Basic (#5180) …
Added CategoryTheory.Pi.extView on Github →