Theorem Counterexample.mem_zmod_2

Modification history

2023-06-17 05:17

Counterexamples/CanonicallyOrderedCommSemiringTwoMul.lean

feat: port Counterexamples.CanonicallyOrderedCommSemiringTwoMul (#5162)

Added Counterexample.mem_zmod_2 View on Github →