Def Counterexample.ExL.lSubsemiring

Modification history

2023-06-17 05:17

Counterexamples/CanonicallyOrderedCommSemiringTwoMul.lean

feat: port Counterexamples.CanonicallyOrderedCommSemiringTwoMul (#5162)

Added Counterexample.ExL.lSubsemiring View on Github →