Def Counterexample.FromBhavik.K

Modification history

2023-10-23 09:44
Counterexamples/CanonicallyOrderedCommSemiringTwoMul.lean
chore(counterexamples): remove incorrect counterexample (#7836) …
Deleted Counterexample.FromBhavik.KView on Github →
2023-06-17 05:17
Counterexamples/CanonicallyOrderedCommSemiringTwoMul.lean
feat: port Counterexamples.CanonicallyOrderedCommSemiringTwoMul (#5162)
Added Counterexample.FromBhavik.KView on Github →