Logical manifestations of topological concepts, and other things, via the univalent point of view.
GNU General Public License v3.0
220
stars
40
forks
source link
Add alternative definition of the notion of distributive lattice isomorphism #269
Closed
ayberkt closed 3 days ago
As pointed by @martinescardo at the meeting on 2024-04-30.