Commit 0fab84f6 authored by SuperDuckDuck's avatar SuperDuckDuck

Merge branch 'Sven' of https://gl.mathhub.info/MitM/smglom into Sven

todo conflict
parents fcc516d1 cfd12155
Pipeline #418 failed with stages
in 2 seconds
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