Commit 2024-04-17 10:49 625b8cb7
View on Github →feat(CompHaus): terminal objects (#12186)
We prove that the one element space in CompHaus is terminal.
feat(CompHaus): terminal objects (#12186)
We prove that the one element space in CompHaus is terminal.