3 commits

Author	SHA1	Message	Date
thomasabishop	426fafb8fa	Autosave: 2024-06-16 18:00:05	2024-06-16 18:00:05 +01:00
thomasabishop	579fe8ad20	chore: remove redundant frontmatter	2024-02-17 13:27:49 +00:00
thomasabishop	5e00c654b3	chore: move all entries to flat file	2024-02-16 15:19:05 +00:00

Renamed from Logic/Laws_and_theorems.md/Law_of_the_Excluded_Middle.md (Browse further)