Universal property of equalisers

rahulc29 · Mar 6, 2024 · 18b9d94 · 18b9d94
1 parent 5b2a98f
commit 18b9d94
Show file tree

Hide file tree

Showing 4 changed files with 931 additions and 205 deletions.
diff --git a/src/Realizability/Topos/#BinProducts.agda# b/src/Realizability/Topos/#BinProducts.agda#