Skip to content

Involution implies Noncontradiction and ExcludedMiddle#1242

Merged
sideeffffect merged 1 commit intozio:series/2.xfrom sideeffffect:involution-implies-noncontradiction-and-excludedmiddleJan 16, 2024
+13-21

Commits