📚 node [[fundamental theorem of finite factored sets]]
📖 stoas
⥱ context