Commit 2021-02-08 14:15 8e3e79a2
View on Github →feat(category_theory/pi): extract components of isomorphisms of indexed objects (#6086)
From lean-liquid
.
feat(category_theory/pi): extract components of isomorphisms of indexed objects (#6086)
From lean-liquid
.