Def Counterexample.ExL.L

Modification history

2023-06-17 05:17

Counterexamples/CanonicallyOrderedCommSemiringTwoMul.lean

feat: port Counterexamples.CanonicallyOrderedCommSemiringTwoMul (#5162)

Added Counterexample.ExL.L View on Github →