Documentation
Poly
Search
return to top
source
Imports
Init
Poly.MvPoly.Basic
Poly.UvPoly.Basic
Poly.ForMathlib.CategoryTheory.LocallyCartesianClosed.Basic
Poly.ForMathlib.CategoryTheory.LocallyCartesianClosed.BeckChevalley
Poly.ForMathlib.CategoryTheory.LocallyCartesianClosed.Distributivity
Poly.ForMathlib.CategoryTheory.LocallyCartesianClosed.Presheaf
Imported by