Skip to content

Commit

Permalink
refactor(algebra/ordered_group): another step in the order refactor…
Browse files Browse the repository at this point in the history 
… -- ordered groups (#8060)

This PR represents another wave of generalization of proofs, following from the `order` refactor.  It is another step towards #7645.
  • Loading branch information
@adomani
adomani committed Jul 7, 2021
1 parent 20d8e83 commit 06f0d51
Show file tree
Hide file tree
Showing 3 changed files with 689 additions and 433 deletions.

0 comments on commit 06f0d51

Please sign in to comment.