This repository was archived by the owner on Jul 24, 2024. It is now read-only.

Commit 3280d00

committed

feat(algebra/order/monoid_lemmas_zero_lt): add some lemmas assuming mul_zero_class partial_order, remove primes (#14060)

1 parent 1e46532 commit 3280d00Copy full SHA for 3280d00

1 file changed

+201

-119

lines changed

+201

-119

lines changed

Comments

(0)