Counterexamples.lean

import Counterexamples.AharoniKorman
import Counterexamples.CanonicallyOrderedCommSemiringTwoMul
import Counterexamples.CharPZeroNeCharZero
import Counterexamples.CliffordAlgebraNotInjective
import Counterexamples.Cyclotomic105
import Counterexamples.DimensionPolynomial
import Counterexamples.DirectSumIsInternal
import Counterexamples.DiscreteTopologyNonDiscreteUniformity
import Counterexamples.EulerSumOfPowers
import Counterexamples.GameMultiplication
import Counterexamples.Girard
import Counterexamples.HomogeneousPrimeNotPrime
import Counterexamples.IrrationalPowerOfIrrational
import Counterexamples.LinearOrderWithPosMulPosEqZero
import Counterexamples.MapFloor
import Counterexamples.MonicNonRegular
import Counterexamples.Motzkin
import Counterexamples.OrderedCancelAddCommMonoidWithBounds
import Counterexamples.Phillips
import Counterexamples.PolynomialIsDomain
import Counterexamples.Pseudoelement
import Counterexamples.QuadraticForm
import Counterexamples.SeminormLatticeNotDistrib
import Counterexamples.SeparableNotSecondCountable
import Counterexamples.SorgenfreyLine
import Counterexamples.TopologistsSineCurve
import Counterexamples.ZeroDivisorsInAddMonoidAlgebras