Theorem Counterexample.ExL.mul_L

Modification history

2023-06-17 05:17

Counterexamples/CanonicallyOrderedCommSemiringTwoMul.lean

feat: port Counterexamples.CanonicallyOrderedCommSemiringTwoMul (#5162)

Added Counterexample.ExL.mul_L View on Github →