3 commits

Author	SHA1	Message	Date
thomasabishop	579fe8ad20	chore: remove redundant frontmatter	2024-02-17 13:27:49 +00:00
thomasabishop	2b1ea69c02	chore: change img paths	2024-02-16 16:14:01 +00:00
thomasabishop	5e00c654b3	chore: move all entries to flat file	2024-02-16 15:19:05 +00:00

Renamed from Logic/Proofs/Disjunction_Introduction.md (Browse further)