Commit d839efa6 authored by Dennis Müller's avatar Dennis Müller

update

parent 08468235
arithmetics/naturals.mmt
arithmetics/integers.mmt
arithmetics/rationals.mmt
arithmetics/reals.mmt
arithmetics/complex.mmt
sets/typed_sets.mmt
sets/relations.mmt
sets/functions.mmt
graphs.mmt
collections/basics.mmt
topology/basics.mmt
algebra/basics.mmt
algebra/ringsfields.mmt
algebra/numberspaces.mmt
algebra/modulsvectors.mmt
sets/poset.mmt
algebra/lattice.mmt
calculus/normedmetric.mmt
calculus/sequencesconvergence.mmt
calculus/derivatives.mmt
calculus/domains.mmt
...
padic numbers Qp(p) (for prime p)
// Write in the following format: Notation (Precedence)
setalgebras.mmt - LebesgueMeasurable: all 4 definitions are equivalent by the axioms of a sigma algebra
BorelSigmaAlgebra needs cleaning up when the solver works
FinSequences.mmmt - needs cleaning up and probably refactoring/moved elsewhere
FinSequences2.mmt - can probably go
HilberChoice.mmt / DescriptionOperators.mmt - needs cleaning up
- PeanoIota: makes no sense?
supremum.mmt - move
topology/topologyInstances.mmt - check whether duplicate
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment