Theorem Counterexample.ExL.bot_le

Modification history

2023-06-17 05:17

Counterexamples/CanonicallyOrderedCommSemiringTwoMul.lean

feat: port Counterexamples.CanonicallyOrderedCommSemiringTwoMul (#5162)

Added Counterexample.ExL.bot_le View on Github →