Skip to content

Commit

Permalink
feat(algebra/order/monoid_lemmas_zero_lt): add some lemmas assuming `…
Browse files Browse the repository at this point in the history 
…mul_zero_class` `partial_order`, remove primes (#14060)
  • Loading branch information
@negiizhao
negiizhao committed May 28, 2022
1 parent 1e46532 commit 3280d00
Showing 1 changed file with 201 additions and 119 deletions.

0 comments on commit 3280d00

Please sign in to comment.