Logic via hyperdoctrines: equivalence relation example

LocalCharts Forest

Thu Jun 20 2024

---

This is a companion discussion topic for the original entry at https://forest.localcharts.org/ksb-0001.xml