Adding description of theorems in parallel.lean and perpendicular.lean#293

Merged

jjdishere merged 20 commits intojjdishere:masterfrom Liang-Xiao-pku:master

Jan 17, 2024

+130-38

Commits on Dec 17, 2023

Merge remote-tracking branch 'upstream/master'
Liang-Xiao-pku
committed

Commits on Dec 29, 2023

Merge remote-tracking branch 'upstream/master'
Liang-Xiao-pku
committed

Commits on Jan 12, 2024

Commits on Jan 15, 2024