-
Notifications
You must be signed in to change notification settings - Fork 244
/
Counterexamples.lean
17 lines (17 loc) · 745 Bytes
/
Counterexamples.lean
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
import Counterexamples.CanonicallyOrderedCommSemiringTwoMul
import Counterexamples.CharPZeroNeCharZero
import Counterexamples.CliffordAlgebraNotInjective
import Counterexamples.Cyclotomic105
import Counterexamples.DirectSumIsInternal
import Counterexamples.Girard
import Counterexamples.HomogeneousPrimeNotPrime
import Counterexamples.LinearOrderWithPosMulPosEqZero
import Counterexamples.MapFloor
import Counterexamples.MonicNonRegular
import Counterexamples.OrderedCancelAddCommMonoidWithBounds
import Counterexamples.Phillips
import Counterexamples.Pseudoelement
import Counterexamples.QuadraticForm
import Counterexamples.SeminormLatticeNotDistrib
import Counterexamples.SorgenfreyLine
import Counterexamples.ZeroDivisorsInAddMonoidAlgebras