Theorem Counterexample.Nxzmod2.add_left_cancel

Modification history

2025-10-23 14:48
Counterexamples/CanonicallyOrderedCommSemiringTwoMul.lean
refactor: make `PosMulMono` and alike custom classes (#29395) …
Deleted Counterexample.Nxzmod2.add_left_cancelView on Github →
2023-06-17 05:17
Counterexamples/CanonicallyOrderedCommSemiringTwoMul.lean
feat: port Counterexamples.CanonicallyOrderedCommSemiringTwoMul (#5162)
Added Counterexample.Nxzmod2.add_left_cancelView on Github →