Skip to content

Commit

Permalink
remove whitespace
Browse files Browse the repository at this point in the history
  • Loading branch information
@Gordon-Sau @mn200
Gordon-Sau authored and mn200 committed Feb 22, 2024
1 parent 346f4ba commit e85cc65
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion examples/algorithms/topological_sortScript.sml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -475,7 +475,7 @@ Theorem SCC_SYM:
Proof
rw[SCC_def,EQ_IMP_THM]
QED

Theorem SCC_TRANS:
SCC E x y ∧ SCC E y z ⇒ SCC E x z
Proof
Expand Down

0 comments on commit e85cc65

Please sign in to comment.