📚 node [[polynomial functors]]
⥅ node [[poly-book]] pulled by user
📖 stoas
⥱ context