Skip to content

Commit

Permalink
Adding description of theorems in parallel.lean and perpendicular.lean (
Browse files Browse the repository at this point in the history 
#293)

* Update Congruence.lean

* Update Congruence.lean

* Update Congruence.lean

* Update Parallel.lean

* Update Parallel.lean

* Update Perpendicular.lean

* Update Parallel.lean

* Update Parallel.lean

* Update Parallel.lean

* add
  • Loading branch information
@Liang-Xiao-pku
Liang-Xiao-pku authored Jan 17, 2024
1 parent 3dd6a7a commit 9f28c9a
Show file tree
Hide file tree
Showing 2 changed files with 130 additions and 38 deletions.
Loading

0 comments on commit 9f28c9a

Please sign in to comment.