Commit 04dee6ee authored by Sven Wille's avatar Sven Wille

starting darboux integral again

parent 558442a5
This diff is collapsed.
......@@ -12,6 +12,8 @@ Includes http://mathhub.info/MitM/smglom/typedsets?AllSets http://gl.mathhub.inf
Includes http://mathhub.info/MitM/smglom/typedsets?AllSets http://gl.mathhub.info/MMT/LFX/Subtyping?PredSubSymbols
Includes http://mathhub.info/MitM/smglom/typedsets?AllSets http://gl.mathhub.info/MMT/LFX/Subtyping?PredSubRules
Includes http://mathhub.info/MitM/smglom/typedsets?AllSets http://gl.mathhub.info/MMT/LFX/Subtyping?AllSubtypes
Includes http://mathhub.info/MitM/smglom/typedsets?AllSets http://gl.mathhub.info/MMT/LFX/Subtyping?PiRule
Includes http://mathhub.info/MitM/smglom/typedsets?AllSets http://gl.mathhub.info/MMT/LFX/Subtyping?LFWithVariance
Includes http://mathhub.info/MitM/smglom/typedsets?AllSets http://gl.mathhub.info/MMT/LFX/Subtyping?LFSubtyped
Includes http://mathhub.info/MitM/smglom/typedsets?AllSets http://mathhub.info/MitM/Foundation?Subtyping
Includes http://mathhub.info/MitM/smglom/typedsets?AllSets http://cds.omdoc.org/urtheories?NatArith
......@@ -32,15 +34,5 @@ Includes http://mathhub.info/MitM/smglom/typedsets?AllSets http://mathhub.info/M
Includes http://mathhub.info/MitM/smglom/typedsets?AllSets http://mathhub.info/MitM/smglom/typedsets?SetRelations
Declares http://mathhub.info/MitM/smglom/typedsets?AllSets http://mathhub.info/MitM/smglom/typedsets?AllSets?typeof
constant http://mathhub.info/MitM/smglom/typedsets?AllSets?typeof
DependsOn http://mathhub.info/MitM/smglom/typedsets?AllSets?typeof?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?AllSets?typeof?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?definition
Declares http://mathhub.info/MitM/smglom/typedsets?AllSets http://mathhub.info/MitM/smglom/typedsets?AllSets?elemof
constant http://mathhub.info/MitM/smglom/typedsets?AllSets?elemof
DependsOn http://mathhub.info/MitM/smglom/typedsets?AllSets?elemof?type http://mathhub.info/MitM/smglom/typedsets?AllSets?typeof?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?AllSets?elemof?type http://mathhub.info/MitM/Foundation?Logic?ded?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?AllSets?elemof?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?inSet?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?AllSets?elemof?type http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?AllSets?elemof?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?AllSets?elemof?type http://mathhub.info/MitM/Foundation?Logic?ded?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?AllSets?elemof?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?AllSets?elemof?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?inSet?type
......@@ -13,53 +13,13 @@ Includes http://mathhub.info/MitM/smglom/typedsets?EmptySet http://mathhub.info/
Includes http://mathhub.info/MitM/smglom/typedsets?EmptySet http://mathhub.info/MitM/smglom/typedsets?TypedSets
Declares http://mathhub.info/MitM/smglom/typedsets?EmptySet http://mathhub.info/MitM/smglom/typedsets?EmptySet?emptySet
constant http://mathhub.info/MitM/smglom/typedsets?EmptySet?emptySet
DependsOn http://mathhub.info/MitM/smglom/typedsets?EmptySet?emptySet?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?EmptySet?emptySet?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?EmptySet?emptySet?definition http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?definition
Declares http://mathhub.info/MitM/smglom/typedsets?EmptySet http://mathhub.info/MitM/smglom/typedsets?EmptySet?empty
constant http://mathhub.info/MitM/smglom/typedsets?EmptySet?empty
DependsOn http://mathhub.info/MitM/smglom/typedsets?EmptySet?empty?type http://mathhub.info/MitM/Foundation?Logic?prop?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?EmptySet?empty?type http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?EmptySet?empty?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?EmptySet?empty?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?EmptySet?empty?definition http://mathhub.info/MitM/Foundation?Logic?prop?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?EmptySet?empty?definition http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?EmptySet?empty?definition http://mathhub.info/MitM/smglom/typedsets?EmptySet?emptySet?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?EmptySet?empty?definition http://mathhub.info/MitM/Foundation?Logic?eq?type
Declares http://mathhub.info/MitM/smglom/typedsets?EmptySet http://mathhub.info/MitM/smglom/typedsets?EmptySet?nonEmpty
constant http://mathhub.info/MitM/smglom/typedsets?EmptySet?nonEmpty
DependsOn http://mathhub.info/MitM/smglom/typedsets?EmptySet?nonEmpty?type http://mathhub.info/MitM/Foundation?Logic?prop?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?EmptySet?nonEmpty?type http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?EmptySet?nonEmpty?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?EmptySet?nonEmpty?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?EmptySet?nonEmpty?definition http://mathhub.info/MitM/Foundation?Logic?prop?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?EmptySet?nonEmpty?definition http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?EmptySet?nonEmpty?definition http://mathhub.info/MitM/smglom/typedsets?EmptySet?emptySet?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?EmptySet?nonEmpty?definition http://mathhub.info/MitM/Foundation?Logic?neq?type
Declares http://mathhub.info/MitM/smglom/typedsets?EmptySet http://mathhub.info/MitM/smglom/typedsets?EmptySet?inhabited
constant http://mathhub.info/MitM/smglom/typedsets?EmptySet?inhabited
DependsOn http://mathhub.info/MitM/smglom/typedsets?EmptySet?inhabited?type http://mathhub.info/MitM/Foundation?Logic?prop?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?EmptySet?inhabited?type http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?EmptySet?inhabited?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?EmptySet?inhabited?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?definition
Declares http://mathhub.info/MitM/smglom/typedsets?EmptySet http://mathhub.info/MitM/smglom/typedsets?EmptySet?axiom_inhabited
constant http://mathhub.info/MitM/smglom/typedsets?EmptySet?axiom_inhabited
DependsOn http://mathhub.info/MitM/smglom/typedsets?EmptySet?axiom_inhabited?type http://mathhub.info/MitM/Foundation?Logic?ded?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?EmptySet?axiom_inhabited?type http://mathhub.info/MitM/Foundation?Logic?exists?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?EmptySet?axiom_inhabited?type http://mathhub.info/MitM/Foundation?Logic?forall?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?EmptySet?axiom_inhabited?type http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?EmptySet?axiom_inhabited?type http://mathhub.info/MitM/Foundation?Logic?iff?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?EmptySet?axiom_inhabited?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?EmptySet?axiom_inhabited?type http://mathhub.info/MitM/Foundation?Logic?ded?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?EmptySet?axiom_inhabited?type http://mathhub.info/MitM/smglom/typedsets?EmptySet?inhabited?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?EmptySet?axiom_inhabited?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?inSet?type
Declares http://mathhub.info/MitM/smglom/typedsets?EmptySet http://mathhub.info/MitM/smglom/typedsets?EmptySet?axiom_emptySet
constant http://mathhub.info/MitM/smglom/typedsets?EmptySet?axiom_emptySet
DependsOn http://mathhub.info/MitM/smglom/typedsets?EmptySet?axiom_emptySet?type http://mathhub.info/MitM/Foundation?Logic?ded?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?EmptySet?axiom_emptySet?type http://mathhub.info/MitM/Foundation?Logic?exists?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?EmptySet?axiom_emptySet?type http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?EmptySet?axiom_emptySet?type http://mathhub.info/MitM/smglom/typedsets?EmptySet?emptySet?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?EmptySet?axiom_emptySet?type http://mathhub.info/MitM/Foundation?Logic?not?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?EmptySet?axiom_emptySet?type http://mathhub.info/MitM/Foundation?Logic?ded?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?EmptySet?axiom_emptySet?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?EmptySet?axiom_emptySet?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?inSet?type
......@@ -13,6 +13,8 @@ Includes http://mathhub.info/MitM/smglom/typedsets?FiniteCardinality http://gl.m
Includes http://mathhub.info/MitM/smglom/typedsets?FiniteCardinality http://gl.mathhub.info/MMT/LFX/Subtyping?PredSubSymbols
Includes http://mathhub.info/MitM/smglom/typedsets?FiniteCardinality http://gl.mathhub.info/MMT/LFX/Subtyping?PredSubRules
Includes http://mathhub.info/MitM/smglom/typedsets?FiniteCardinality http://gl.mathhub.info/MMT/LFX/Subtyping?AllSubtypes
Includes http://mathhub.info/MitM/smglom/typedsets?FiniteCardinality http://gl.mathhub.info/MMT/LFX/Subtyping?PiRule
Includes http://mathhub.info/MitM/smglom/typedsets?FiniteCardinality http://gl.mathhub.info/MMT/LFX/Subtyping?LFWithVariance
Includes http://mathhub.info/MitM/smglom/typedsets?FiniteCardinality http://gl.mathhub.info/MMT/LFX/Subtyping?LFSubtyped
Includes http://mathhub.info/MitM/smglom/typedsets?FiniteCardinality http://mathhub.info/MitM/Foundation?Subtyping
Includes http://mathhub.info/MitM/smglom/typedsets?FiniteCardinality http://cds.omdoc.org/urtheories?NatArith
......@@ -22,26 +24,7 @@ Includes http://mathhub.info/MitM/smglom/typedsets?FiniteCardinality http://math
Includes http://mathhub.info/MitM/smglom/typedsets?FiniteCardinality http://mathhub.info/MitM/smglom/arithmetics?NaturalNumbers
Declares http://mathhub.info/MitM/smglom/typedsets?FiniteCardinality http://mathhub.info/MitM/smglom/typedsets?FiniteCardinality?finite
constant http://mathhub.info/MitM/smglom/typedsets?FiniteCardinality?finite
DependsOn http://mathhub.info/MitM/smglom/typedsets?FiniteCardinality?finite?type http://mathhub.info/MitM/Foundation?Logic?prop?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?FiniteCardinality?finite?type http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?FiniteCardinality?finite?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?FiniteCardinality?finite?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?definition
Declares http://mathhub.info/MitM/smglom/typedsets?FiniteCardinality http://mathhub.info/MitM/smglom/typedsets?FiniteCardinality?cardinality
constant http://mathhub.info/MitM/smglom/typedsets?FiniteCardinality?cardinality
DependsOn http://mathhub.info/MitM/smglom/typedsets?FiniteCardinality?cardinality?type http://mathhub.info/MitM/Foundation?Logic?ded?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?FiniteCardinality?cardinality?type http://mathhub.info/MitM/Foundation?NatLiterals?nat_lit?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?FiniteCardinality?cardinality?type http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?FiniteCardinality?cardinality?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?FiniteCardinality?cardinality?type http://mathhub.info/MitM/Foundation?Logic?ded?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?FiniteCardinality?cardinality?type http://mathhub.info/MitM/Foundation?NatLiterals?nat_lit?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?FiniteCardinality?cardinality?type http://mathhub.info/MitM/smglom/typedsets?FiniteCardinality?finite?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?FiniteCardinality?cardinality?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?definition
Declares http://mathhub.info/MitM/smglom/typedsets?FiniteCardinality http://mathhub.info/MitM/smglom/typedsets?FiniteCardinality?infinite
constant http://mathhub.info/MitM/smglom/typedsets?FiniteCardinality?infinite
DependsOn http://mathhub.info/MitM/smglom/typedsets?FiniteCardinality?infinite?type http://mathhub.info/MitM/Foundation?Logic?prop?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?FiniteCardinality?infinite?type http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?FiniteCardinality?infinite?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?FiniteCardinality?infinite?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?FiniteCardinality?infinite?definition http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?FiniteCardinality?infinite?definition http://mathhub.info/MitM/Foundation?Logic?not?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?FiniteCardinality?infinite?definition http://mathhub.info/MitM/smglom/typedsets?FiniteCardinality?finite?type
......@@ -11,6 +11,8 @@ Includes http://mathhub.info/MitM/smglom/typedsets?IndicatorFunction http://gl.m
Includes http://mathhub.info/MitM/smglom/typedsets?IndicatorFunction http://gl.mathhub.info/MMT/LFX/Subtyping?PredSubSymbols
Includes http://mathhub.info/MitM/smglom/typedsets?IndicatorFunction http://gl.mathhub.info/MMT/LFX/Subtyping?PredSubRules
Includes http://mathhub.info/MitM/smglom/typedsets?IndicatorFunction http://gl.mathhub.info/MMT/LFX/Subtyping?AllSubtypes
Includes http://mathhub.info/MitM/smglom/typedsets?IndicatorFunction http://gl.mathhub.info/MMT/LFX/Subtyping?PiRule
Includes http://mathhub.info/MitM/smglom/typedsets?IndicatorFunction http://gl.mathhub.info/MMT/LFX/Subtyping?LFWithVariance
Includes http://mathhub.info/MitM/smglom/typedsets?IndicatorFunction http://gl.mathhub.info/MMT/LFX/Subtyping?LFSubtyped
Includes http://mathhub.info/MitM/smglom/typedsets?IndicatorFunction http://mathhub.info/MitM/Foundation?Subtyping
Includes http://mathhub.info/MitM/smglom/typedsets?IndicatorFunction http://cds.omdoc.org/urtheories?NatArith
......@@ -22,13 +24,3 @@ Includes http://mathhub.info/MitM/smglom/typedsets?IndicatorFunction http://math
Includes http://mathhub.info/MitM/smglom/typedsets?IndicatorFunction http://mathhub.info/MitM/Foundation?DescriptionOperator
Declares http://mathhub.info/MitM/smglom/typedsets?IndicatorFunction http://mathhub.info/MitM/smglom/typedsets?IndicatorFunction?indicatorFunction
constant http://mathhub.info/MitM/smglom/typedsets?IndicatorFunction?indicatorFunction
DependsOn http://mathhub.info/MitM/smglom/typedsets?IndicatorFunction?indicatorFunction?type http://mathhub.info/MitM/Foundation?NatLiterals?nat_lit?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?IndicatorFunction?indicatorFunction?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?IndicatorFunction?indicatorFunction?type http://mathhub.info/MitM/Foundation?NatLiterals?nat_lit?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?IndicatorFunction?indicatorFunction?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?IndicatorFunction?indicatorFunction?definition http://mathhub.info/MitM/Foundation?DescriptionOperator?if_then_else?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?IndicatorFunction?indicatorFunction?definition http://mathhub.info/MitM/Foundation?NatLiterals?nat_lit?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?IndicatorFunction?indicatorFunction?definition http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?IndicatorFunction?indicatorFunction?definition http://mathhub.info/MitM/Foundation?NatLiterals?nat_lit?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?IndicatorFunction?indicatorFunction?definition http://cds.omdoc.org/urtheories?NatSymbols?NAT?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?IndicatorFunction?indicatorFunction?definition http://mathhub.info/MitM/smglom/typedsets?TypedSets?inSet?type
......@@ -10,23 +10,7 @@ Includes http://mathhub.info/MitM/smglom/typedsets?Intersection http://mathhub.i
Includes http://mathhub.info/MitM/smglom/typedsets?Intersection http://mathhub.info/MitM/smglom/typedsets?TypedSets
Declares http://mathhub.info/MitM/smglom/typedsets?Intersection http://mathhub.info/MitM/smglom/typedsets?Intersection?intersection
constant http://mathhub.info/MitM/smglom/typedsets?Intersection?intersection
DependsOn http://mathhub.info/MitM/smglom/typedsets?Intersection?intersection?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?Intersection?intersection?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?Intersection?intersection?definition http://mathhub.info/MitM/smglom/typedsets?TypedSets?bsetst?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?Intersection?intersection?definition http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?Intersection?intersection?definition http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?Intersection?intersection?definition http://mathhub.info/MitM/smglom/typedsets?TypedSets?inSet?type
Declares http://mathhub.info/MitM/smglom/typedsets?Intersection http://mathhub.info/MitM/smglom/typedsets?Intersection?mintersectCollection
constant http://mathhub.info/MitM/smglom/typedsets?Intersection?mintersectCollection
DependsOn http://mathhub.info/MitM/smglom/typedsets?Intersection?mintersectCollection?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?Intersection?mintersectCollection?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?definition
Declares http://mathhub.info/MitM/smglom/typedsets?Intersection http://mathhub.info/MitM/smglom/typedsets?Intersection?intersectCollection
constant http://mathhub.info/MitM/smglom/typedsets?Intersection?intersectCollection
DependsOn http://mathhub.info/MitM/smglom/typedsets?Intersection?intersectCollection?type http://mathhub.info/MitM/Foundation?Logic?prop?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?Intersection?intersectCollection?type http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?Intersection?intersectCollection?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?Intersection?intersectCollection?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?Intersection?intersectCollection?definition http://mathhub.info/MitM/Foundation?Logic?prop?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?Intersection?intersectCollection?definition http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?Intersection?intersectCollection?definition http://mathhub.info/MitM/smglom/typedsets?Intersection?mintersectCollection?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?Intersection?intersectCollection?definition http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?definition
......@@ -8,7 +8,3 @@ Includes http://mathhub.info/MitM/smglom/typedsets?PowerSet http://mathhub.info/
Includes http://mathhub.info/MitM/smglom/typedsets?PowerSet http://mathhub.info/MitM/smglom/typedsets?TypedSets
Declares http://mathhub.info/MitM/smglom/typedsets?PowerSet http://mathhub.info/MitM/smglom/typedsets?PowerSet?powerset
constant http://mathhub.info/MitM/smglom/typedsets?PowerSet?powerset
DependsOn http://mathhub.info/MitM/smglom/typedsets?PowerSet?powerset?type http://mathhub.info/MitM/Foundation?Logic?prop?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?PowerSet?powerset?type http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?PowerSet?powerset?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?PowerSet?powerset?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?definition
datatypeconstructor http://mathhub.info/MitM/smglom/typedsets?SetCollection?collection
datatypeconstructor http://mathhub.info/MitM/smglom/typedsets?SetCollection?setColl
untypedconstant http://mathhub.info/MitM/smglom/typedsets?SetCollection?setColl
dataconstructor http://mathhub.info/MitM/smglom/typedsets?SetCollection?emptySetInType
dataconstructor http://mathhub.info/MitM/smglom/typedsets?SetCollection?fullSetInType
theory http://mathhub.info/MitM/smglom/typedsets?SetCollection
......@@ -14,6 +14,8 @@ Includes http://mathhub.info/MitM/smglom/typedsets?SetCollection http://gl.mathh
Includes http://mathhub.info/MitM/smglom/typedsets?SetCollection http://gl.mathhub.info/MMT/LFX/Subtyping?PredSubSymbols
Includes http://mathhub.info/MitM/smglom/typedsets?SetCollection http://gl.mathhub.info/MMT/LFX/Subtyping?PredSubRules
Includes http://mathhub.info/MitM/smglom/typedsets?SetCollection http://gl.mathhub.info/MMT/LFX/Subtyping?AllSubtypes
Includes http://mathhub.info/MitM/smglom/typedsets?SetCollection http://gl.mathhub.info/MMT/LFX/Subtyping?PiRule
Includes http://mathhub.info/MitM/smglom/typedsets?SetCollection http://gl.mathhub.info/MMT/LFX/Subtyping?LFWithVariance
Includes http://mathhub.info/MitM/smglom/typedsets?SetCollection http://gl.mathhub.info/MMT/LFX/Subtyping?LFSubtyped
Includes http://mathhub.info/MitM/smglom/typedsets?SetCollection http://mathhub.info/MitM/Foundation?Subtyping
Includes http://mathhub.info/MitM/smglom/typedsets?SetCollection http://cds.omdoc.org/urtheories?NatArith
......@@ -35,50 +37,16 @@ Includes http://mathhub.info/MitM/smglom/typedsets?SetCollection http://mathhub.
Includes http://mathhub.info/MitM/smglom/typedsets?SetCollection http://mathhub.info/MitM/smglom/typedsets?AllSets
Declares http://mathhub.info/MitM/smglom/typedsets?SetCollection http://mathhub.info/MitM/smglom/typedsets?SetCollection?collection
constant http://mathhub.info/MitM/smglom/typedsets?SetCollection?collection
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetCollection?collection?definition http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?type
Declares http://mathhub.info/MitM/smglom/typedsets?SetCollection http://mathhub.info/MitM/smglom/typedsets?SetCollection?setColl_theory
theory http://mathhub.info/MitM/smglom/typedsets?SetCollection/setColl_theory
HasMeta http://mathhub.info/MitM/smglom/typedsets?SetCollection/setColl_theory http://mathhub.info/MitM/Foundation?Logic
Declares http://mathhub.info/MitM/smglom/typedsets?SetCollection/setColl_theory http://mathhub.info/MitM/smglom/typedsets?SetCollection/setColl_theory?coll
constant http://mathhub.info/MitM/smglom/typedsets?SetCollection/setColl_theory?coll
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetCollection/setColl_theory?coll?type http://mathhub.info/MitM/smglom/typedsets?SetCollection?collection?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetCollection/setColl_theory?coll?type http://mathhub.info/MitM/smglom/typedsets?SetCollection?collection?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetCollection/setColl_theory?coll?type http://mathhub.info/MitM/Foundation?Logic?prop?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetCollection/setColl_theory?coll?type http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetCollection/setColl_theory?coll?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?definition
Declares http://mathhub.info/MitM/smglom/typedsets?SetCollection/setColl_theory http://mathhub.info/MitM/smglom/typedsets?SetCollection/setColl_theory?colltype
constant http://mathhub.info/MitM/smglom/typedsets?SetCollection/setColl_theory?colltype
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetCollection/setColl_theory?colltype?definition http://mathhub.info/MitM/smglom/typedsets?AllSets?typeof?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetCollection/setColl_theory?colltype?definition http://mathhub.info/MitM/smglom/typedsets?SetCollection/setColl_theory?coll?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetCollection/setColl_theory?colltype?definition http://mathhub.info/MitM/Foundation?Logic?prop?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetCollection/setColl_theory?colltype?definition http://mathhub.info/MitM/Foundation?Logic?prop?definition
Declares http://mathhub.info/MitM/smglom/typedsets?SetCollection http://mathhub.info/MitM/smglom/typedsets?SetCollection?setColl
constant http://mathhub.info/MitM/smglom/typedsets?SetCollection?setColl
Declares http://mathhub.info/MitM/smglom/typedsets?SetCollection http://mathhub.info/MitM/smglom/typedsets?SetCollection?emptySetInType
constant http://mathhub.info/MitM/smglom/typedsets?SetCollection?emptySetInType
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetCollection?emptySetInType?type http://mathhub.info/MitM/smglom/typedsets?SetCollection?collection?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetCollection?emptySetInType?type http://mathhub.info/MitM/Foundation?Logic?ded?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetCollection?emptySetInType?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?inSet?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetCollection?emptySetInType?type http://mathhub.info/MitM/Foundation?Logic?prop?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetCollection?emptySetInType?type http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetCollection?emptySetInType?type http://mathhub.info/MitM/smglom/typedsets?SetCollection?setColl?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetCollection?emptySetInType?type http://mathhub.info/MitM/smglom/typedsets?EmptySet?emptySet?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetCollection?emptySetInType?type http://mathhub.info/MitM/Foundation?Logic?ded?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetCollection?emptySetInType?type http://mathhub.info/MitM/smglom/typedsets?EmptySet?emptySet?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetCollection?emptySetInType?type http://mathhub.info/MitM/smglom/typedsets?SetCollection?setColl?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetCollection?emptySetInType?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetCollection?emptySetInType?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?inSet?type
Declares http://mathhub.info/MitM/smglom/typedsets?SetCollection http://mathhub.info/MitM/smglom/typedsets?SetCollection?fullSetInType
constant http://mathhub.info/MitM/smglom/typedsets?SetCollection?fullSetInType
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetCollection?fullSetInType?type http://mathhub.info/MitM/smglom/typedsets?SetCollection?collection?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetCollection?fullSetInType?type http://mathhub.info/MitM/Foundation?Logic?ded?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetCollection?fullSetInType?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?inSet?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetCollection?fullSetInType?type http://mathhub.info/MitM/Foundation?Logic?prop?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetCollection?fullSetInType?type http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetCollection?fullSetInType?type http://mathhub.info/MitM/smglom/typedsets?SetCollection?setColl?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetCollection?fullSetInType?type http://mathhub.info/MitM/Foundation?Logic?ded?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetCollection?fullSetInType?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?fullset?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetCollection?fullSetInType?type http://mathhub.info/MitM/smglom/typedsets?SetCollection?setColl?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetCollection?fullSetInType?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetCollection?fullSetInType?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?fullset?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetCollection?fullSetInType?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?inSet?type
......@@ -16,34 +16,9 @@ Includes http://mathhub.info/MitM/smglom/typedsets?SetDifference http://mathhub.
Includes http://mathhub.info/MitM/smglom/typedsets?SetDifference http://mathhub.info/MitM/smglom/typedsets?Union
Declares http://mathhub.info/MitM/smglom/typedsets?SetDifference http://mathhub.info/MitM/smglom/typedsets?SetDifference?setdiff
constant http://mathhub.info/MitM/smglom/typedsets?SetDifference?setdiff
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetDifference?setdiff?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetDifference?setdiff?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetDifference?setdiff?definition http://mathhub.info/MitM/smglom/typedsets?TypedSets?bsetst?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetDifference?setdiff?definition http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetDifference?setdiff?definition http://mathhub.info/MitM/Foundation?Logic?not?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetDifference?setdiff?definition http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetDifference?setdiff?definition http://mathhub.info/MitM/smglom/typedsets?TypedSets?inSet?type
Declares http://mathhub.info/MitM/smglom/typedsets?SetDifference http://mathhub.info/MitM/smglom/typedsets?SetDifference?symdiff
constant http://mathhub.info/MitM/smglom/typedsets?SetDifference?symdiff
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetDifference?symdiff?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetDifference?symdiff?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetDifference?symdiff?definition http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetDifference?symdiff?definition http://mathhub.info/MitM/smglom/typedsets?Union?union?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetDifference?symdiff?definition http://mathhub.info/MitM/smglom/typedsets?SetDifference?setdiff?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetDifference?symdiff?definition http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?definition
Declares http://mathhub.info/MitM/smglom/typedsets?SetDifference http://mathhub.info/MitM/smglom/typedsets?SetDifference?complement
constant http://mathhub.info/MitM/smglom/typedsets?SetDifference?complement
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetDifference?complement?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetDifference?complement?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetDifference?complement?definition http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetDifference?complement?definition http://mathhub.info/MitM/smglom/typedsets?TypedSets?fullset?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetDifference?complement?definition http://mathhub.info/MitM/smglom/typedsets?SetDifference?setdiff?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetDifference?complement?definition http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?definition
Declares http://mathhub.info/MitM/smglom/typedsets?SetDifference http://mathhub.info/MitM/smglom/typedsets?SetDifference?subtract
constant http://mathhub.info/MitM/smglom/typedsets?SetDifference?subtract
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetDifference?subtract?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetDifference?subtract?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetDifference?subtract?definition http://mathhub.info/MitM/smglom/typedsets?Singleton?single?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetDifference?subtract?definition http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetDifference?subtract?definition http://mathhub.info/MitM/smglom/typedsets?SetDifference?setdiff?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetDifference?subtract?definition http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?definition
......@@ -15,65 +15,13 @@ Includes http://mathhub.info/MitM/smglom/typedsets?SetRelations http://mathhub.i
Includes http://mathhub.info/MitM/smglom/typedsets?SetRelations http://mathhub.info/MitM/smglom/typedsets?EmptySet
Declares http://mathhub.info/MitM/smglom/typedsets?SetRelations http://mathhub.info/MitM/smglom/typedsets?SetRelations?subset
constant http://mathhub.info/MitM/smglom/typedsets?SetRelations?subset
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetRelations?subset?type http://mathhub.info/MitM/Foundation?Logic?prop?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetRelations?subset?type http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetRelations?subset?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetRelations?subset?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetRelations?subset?definition http://mathhub.info/MitM/Foundation?Logic?implies?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetRelations?subset?definition http://mathhub.info/MitM/Foundation?Logic?forall?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetRelations?subset?definition http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetRelations?subset?definition http://mathhub.info/MitM/smglom/typedsets?TypedSets?inSet?type
Declares http://mathhub.info/MitM/smglom/typedsets?SetRelations http://mathhub.info/MitM/smglom/typedsets?SetRelations?properSubset
constant http://mathhub.info/MitM/smglom/typedsets?SetRelations?properSubset
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetRelations?properSubset?type http://mathhub.info/MitM/Foundation?Logic?prop?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetRelations?properSubset?type http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetRelations?properSubset?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetRelations?properSubset?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetRelations?properSubset?definition http://mathhub.info/MitM/smglom/typedsets?SetRelations?subset?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetRelations?properSubset?definition http://mathhub.info/MitM/Foundation?Logic?prop?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetRelations?properSubset?definition http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetRelations?properSubset?definition http://mathhub.info/MitM/Foundation?Logic?not?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetRelations?properSubset?definition http://mathhub.info/MitM/Foundation?Logic?eq?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetRelations?properSubset?definition http://mathhub.info/MitM/Foundation?Logic?and?type
Declares http://mathhub.info/MitM/smglom/typedsets?SetRelations http://mathhub.info/MitM/smglom/typedsets?SetRelations?superset
constant http://mathhub.info/MitM/smglom/typedsets?SetRelations?superset
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetRelations?superset?type http://mathhub.info/MitM/Foundation?Logic?prop?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetRelations?superset?type http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetRelations?superset?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetRelations?superset?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetRelations?superset?definition http://mathhub.info/MitM/Foundation?Logic?implies?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetRelations?superset?definition http://mathhub.info/MitM/Foundation?Logic?forall?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetRelations?superset?definition http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetRelations?superset?definition http://mathhub.info/MitM/smglom/typedsets?TypedSets?inSet?type
Declares http://mathhub.info/MitM/smglom/typedsets?SetRelations http://mathhub.info/MitM/smglom/typedsets?SetRelations?properSuperset
constant http://mathhub.info/MitM/smglom/typedsets?SetRelations?properSuperset
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetRelations?properSuperset?type http://mathhub.info/MitM/Foundation?Logic?prop?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetRelations?properSuperset?type http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetRelations?properSuperset?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetRelations?properSuperset?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetRelations?properSuperset?definition http://mathhub.info/MitM/Foundation?Logic?prop?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetRelations?properSuperset?definition http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetRelations?properSuperset?definition http://mathhub.info/MitM/Foundation?Logic?not?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetRelations?properSuperset?definition http://mathhub.info/MitM/Foundation?Logic?eq?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetRelations?properSuperset?definition http://mathhub.info/MitM/Foundation?Logic?and?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetRelations?properSuperset?definition http://mathhub.info/MitM/smglom/typedsets?SetRelations?superset?type
Declares http://mathhub.info/MitM/smglom/typedsets?SetRelations http://mathhub.info/MitM/smglom/typedsets?SetRelations?disjoint
constant http://mathhub.info/MitM/smglom/typedsets?SetRelations?disjoint
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetRelations?disjoint?type http://mathhub.info/MitM/Foundation?Logic?prop?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetRelations?disjoint?type http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetRelations?disjoint?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetRelations?disjoint?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetRelations?disjoint?definition http://mathhub.info/MitM/Foundation?Logic?prop?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetRelations?disjoint?definition http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetRelations?disjoint?definition http://mathhub.info/MitM/smglom/typedsets?Intersection?intersection?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetRelations?disjoint?definition http://mathhub.info/MitM/smglom/typedsets?EmptySet?emptySet?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetRelations?disjoint?definition http://mathhub.info/MitM/Foundation?Logic?eq?type
Declares http://mathhub.info/MitM/smglom/typedsets?SetRelations http://mathhub.info/MitM/smglom/typedsets?SetRelations?sameSet
constant http://mathhub.info/MitM/smglom/typedsets?SetRelations?sameSet
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetRelations?sameSet?type http://mathhub.info/MitM/Foundation?Logic?prop?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetRelations?sameSet?type http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetRelations?sameSet?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetRelations?sameSet?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetRelations?sameSet?definition http://mathhub.info/MitM/smglom/typedsets?SetRelations?subset?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetRelations?sameSet?definition http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetRelations?sameSet?definition http://mathhub.info/MitM/Foundation?Logic?and?type
......@@ -19,24 +19,9 @@ Includes http://mathhub.info/MitM/smglom/typedsets?SetStructures http://mathhub.
Includes http://mathhub.info/MitM/smglom/typedsets?SetStructures http://mathhub.info/MitM/smglom/typedsets?TypedSets
Declares http://mathhub.info/MitM/smglom/typedsets?SetStructures http://mathhub.info/MitM/smglom/typedsets?SetStructures?dom
constant http://mathhub.info/MitM/smglom/typedsets?SetStructures?dom
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetStructures?dom?type http://mathhub.info/MitM/smglom/typedsets?SetStructures?setstruct?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetStructures?dom?type http://mathhub.info/MitM/smglom/typedsets?SetStructures?setstruct?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetStructures?dom?definition http://mathhub.info/MitM/smglom/typedsets?SetStructures?setstruct?definition
Declares http://mathhub.info/MitM/smglom/typedsets?SetStructures http://mathhub.info/MitM/smglom/typedsets?SetStructures?dom/abbreviation
constant http://mathhub.info/MitM/smglom/typedsets?SetStructures?dom/abbreviation
Declares http://mathhub.info/MitM/smglom/typedsets?SetStructures http://mathhub.info/MitM/smglom/typedsets?SetStructures?doms
constant http://mathhub.info/MitM/smglom/typedsets?SetStructures?doms
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetStructures?doms?type http://mathhub.info/MitM/smglom/typedsets?SetStructures?setstruct?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetStructures?doms?type http://mathhub.info/MitM/smglom/typedsets?SetStructures?dom?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetStructures?doms?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetStructures?doms?type http://mathhub.info/MitM/smglom/typedsets?SetStructures?setstruct?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetStructures?doms?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetStructures?doms?type http://mathhub.info/MitM/smglom/typedsets?SetStructures?dom?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetStructures?doms?definition http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetStructures?doms?definition http://mathhub.info/MitM/smglom/typedsets?SetStructures?dom?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetStructures?doms?definition http://mathhub.info/MitM/smglom/typedsets?TypedSets?fullset?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetStructures?doms?definition http://mathhub.info/MitM/smglom/typedsets?SetStructures?setstruct?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetStructures?doms?definition http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?SetStructures?doms?definition http://mathhub.info/MitM/smglom/typedsets?SetStructures?dom?type
Declares http://mathhub.info/MitM/smglom/typedsets?SetStructures http://mathhub.info/MitM/smglom/typedsets?SetStructures?doms/abbreviation
constant http://mathhub.info/MitM/smglom/typedsets?SetStructures?doms/abbreviation
......@@ -10,20 +10,5 @@ Includes http://mathhub.info/MitM/smglom/typedsets?Singleton http://mathhub.info
Includes http://mathhub.info/MitM/smglom/typedsets?Singleton http://mathhub.info/MitM/smglom/typedsets?EmptySet
Declares http://mathhub.info/MitM/smglom/typedsets?Singleton http://mathhub.info/MitM/smglom/typedsets?Singleton?single
constant http://mathhub.info/MitM/smglom/typedsets?Singleton?single
DependsOn http://mathhub.info/MitM/smglom/typedsets?Singleton?single?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?Singleton?single?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?Singleton?single?definition http://mathhub.info/MitM/smglom/typedsets?TypedSets?setCons?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?Singleton?single?definition http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?Singleton?single?definition http://mathhub.info/MitM/smglom/typedsets?EmptySet?emptySet?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?Singleton?single?definition http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?definition
Declares http://mathhub.info/MitM/smglom/typedsets?Singleton http://mathhub.info/MitM/smglom/typedsets?Singleton?singleton
constant http://mathhub.info/MitM/smglom/typedsets?Singleton?singleton
DependsOn http://mathhub.info/MitM/smglom/typedsets?Singleton?singleton?type http://mathhub.info/MitM/Foundation?Logic?prop?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?Singleton?singleton?type http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?Singleton?singleton?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?Singleton?singleton?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?Singleton?singleton?definition http://mathhub.info/MitM/Foundation?Logic?exists?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?Singleton?singleton?definition http://mathhub.info/MitM/smglom/typedsets?Singleton?single?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?Singleton?singleton?definition http://mathhub.info/MitM/Foundation?Logic?prop?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?Singleton?singleton?definition http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?Singleton?singleton?definition http://mathhub.info/MitM/Foundation?Logic?eq?type
......@@ -11,6 +11,8 @@ Includes http://mathhub.info/MitM/smglom/typedsets?TaggedSetCollection http://gl
Includes http://mathhub.info/MitM/smglom/typedsets?TaggedSetCollection http://gl.mathhub.info/MMT/LFX/Subtyping?PredSubSymbols
Includes http://mathhub.info/MitM/smglom/typedsets?TaggedSetCollection http://gl.mathhub.info/MMT/LFX/Subtyping?PredSubRules
Includes http://mathhub.info/MitM/smglom/typedsets?TaggedSetCollection http://gl.mathhub.info/MMT/LFX/Subtyping?AllSubtypes
Includes http://mathhub.info/MitM/smglom/typedsets?TaggedSetCollection http://gl.mathhub.info/MMT/LFX/Subtyping?PiRule
Includes http://mathhub.info/MitM/smglom/typedsets?TaggedSetCollection http://gl.mathhub.info/MMT/LFX/Subtyping?LFWithVariance
Includes http://mathhub.info/MitM/smglom/typedsets?TaggedSetCollection http://gl.mathhub.info/MMT/LFX/Subtyping?LFSubtyped
Includes http://mathhub.info/MitM/smglom/typedsets?TaggedSetCollection http://mathhub.info/MitM/Foundation?Subtyping
Includes http://mathhub.info/MitM/smglom/typedsets?TaggedSetCollection http://cds.omdoc.org/urtheories?NatArith
......@@ -35,4 +37,3 @@ Includes http://mathhub.info/MitM/smglom/typedsets?TaggedSetCollection http://gl
Includes http://mathhub.info/MitM/smglom/typedsets?TaggedSetCollection http://mathhub.info/MitM/Foundation?ProductTypes
Declares http://mathhub.info/MitM/smglom/typedsets?TaggedSetCollection http://mathhub.info/MitM/smglom/typedsets?TaggedSetCollection?taggedCollection
constant http://mathhub.info/MitM/smglom/typedsets?TaggedSetCollection?taggedCollection
DependsOn http://mathhub.info/MitM/smglom/typedsets?TaggedSetCollection?taggedCollection?definition http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?type
......@@ -10,17 +10,5 @@ Includes http://mathhub.info/MitM/smglom/typedsets?Tuples http://mathhub.info/Mi
Includes http://mathhub.info/MitM/smglom/typedsets?Tuples http://mathhub.info/MitM/smglom/typedsets?EmptySet
Declares http://mathhub.info/MitM/smglom/typedsets?Tuples http://mathhub.info/MitM/smglom/typedsets?Tuples?double
constant http://mathhub.info/MitM/smglom/typedsets?Tuples?double
DependsOn http://mathhub.info/MitM/smglom/typedsets?Tuples?double?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?Tuples?double?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?Tuples?double?definition http://mathhub.info/MitM/smglom/typedsets?TypedSets?setCons?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?Tuples?double?definition http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?Tuples?double?definition http://mathhub.info/MitM/smglom/typedsets?EmptySet?emptySet?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?Tuples?double?definition http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?definition
Declares http://mathhub.info/MitM/smglom/typedsets?Tuples http://mathhub.info/MitM/smglom/typedsets?Tuples?triple
constant http://mathhub.info/MitM/smglom/typedsets?Tuples?triple
DependsOn http://mathhub.info/MitM/smglom/typedsets?Tuples?triple?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?Tuples?triple?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?Tuples?triple?definition http://mathhub.info/MitM/smglom/typedsets?TypedSets?setCons?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?Tuples?triple?definition http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?Tuples?triple?definition http://mathhub.info/MitM/smglom/typedsets?EmptySet?emptySet?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?Tuples?triple?definition http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?definition
......@@ -12,39 +12,13 @@ Includes http://mathhub.info/MitM/smglom/typedsets?TypedSets http://gl.mathhub.i
Includes http://mathhub.info/MitM/smglom/typedsets?TypedSets http://mathhub.info/MitM/Foundation?Lists
Declares http://mathhub.info/MitM/smglom/typedsets?TypedSets http://mathhub.info/MitM/smglom/typedsets?TypedSets?set
constant http://mathhub.info/MitM/smglom/typedsets?TypedSets?set
DependsOn http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?definition http://mathhub.info/MitM/Foundation?Logic?prop?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?definition http://mathhub.info/MitM/Foundation?Logic?prop?definition
Declares http://mathhub.info/MitM/smglom/typedsets?TypedSets http://mathhub.info/MitM/smglom/typedsets?TypedSets?setCons
constant http://mathhub.info/MitM/smglom/typedsets?TypedSets?setCons
DependsOn http://mathhub.info/MitM/smglom/typedsets?TypedSets?setCons?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?TypedSets?setCons?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?TypedSets?setCons?definition http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?TypedSets?setCons?definition http://mathhub.info/MitM/Foundation?Logic?eq?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?TypedSets?setCons?definition http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?TypedSets?setCons?definition http://mathhub.info/MitM/Foundation?Logic?or?type
Declares http://mathhub.info/MitM/smglom/typedsets?TypedSets http://mathhub.info/MitM/smglom/typedsets?TypedSets?setList
constant http://mathhub.info/MitM/smglom/typedsets?TypedSets?setList
DependsOn http://mathhub.info/MitM/smglom/typedsets?TypedSets?setList?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?TypedSets?setList?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?definition
Declares http://mathhub.info/MitM/smglom/typedsets?TypedSets http://mathhub.info/MitM/smglom/typedsets?TypedSets?inSet
constant http://mathhub.info/MitM/smglom/typedsets?TypedSets?inSet
DependsOn http://mathhub.info/MitM/smglom/typedsets?TypedSets?inSet?type http://mathhub.info/MitM/Foundation?Logic?prop?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?TypedSets?inSet?type http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?TypedSets?inSet?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?TypedSets?inSet?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?TypedSets?inSet?definition http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?TypedSets?inSet?definition http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?definition
Declares http://mathhub.info/MitM/smglom/typedsets?TypedSets http://mathhub.info/MitM/smglom/typedsets?TypedSets?bsetst
constant http://mathhub.info/MitM/smglom/typedsets?TypedSets?bsetst
DependsOn http://mathhub.info/MitM/smglom/typedsets?TypedSets?bsetst?type http://mathhub.info/MitM/Foundation?Logic?prop?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?TypedSets?bsetst?type http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?TypedSets?bsetst?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?TypedSets?bsetst?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?TypedSets?bsetst?definition http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?TypedSets?bsetst?definition http://mathhub.info/MitM/Foundation?Logic?and?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?TypedSets?bsetst?definition http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?definition
Declares http://mathhub.info/MitM/smglom/typedsets?TypedSets http://mathhub.info/MitM/smglom/typedsets?TypedSets?fullset
constant http://mathhub.info/MitM/smglom/typedsets?TypedSets?fullset
DependsOn http://mathhub.info/MitM/smglom/typedsets?TypedSets?fullset?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?TypedSets?fullset?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?TypedSets?fullset?definition http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?definition
......@@ -13,49 +13,9 @@ Includes http://mathhub.info/MitM/smglom/typedsets?Union http://mathhub.info/Mit
Includes http://mathhub.info/MitM/smglom/typedsets?Union http://mathhub.info/MitM/Foundation?DescriptionOperator
Declares http://mathhub.info/MitM/smglom/typedsets?Union http://mathhub.info/MitM/smglom/typedsets?Union?axiom_union
constant http://mathhub.info/MitM/smglom/typedsets?Union?axiom_union
DependsOn http://mathhub.info/MitM/smglom/typedsets?Union?axiom_union?type http://mathhub.info/MitM/Foundation?Logic?ded?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?Union?axiom_union?type http://mathhub.info/MitM/Foundation?Logic?forall?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?Union?axiom_union?type http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?Union?axiom_union?type http://mathhub.info/MitM/Foundation?Logic?iff?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?Union?axiom_union?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?Union?axiom_union?type http://mathhub.info/MitM/Foundation?Logic?exists_unique?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?Union?axiom_union?type http://mathhub.info/MitM/Foundation?Logic?exists_unique?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?Union?axiom_union?type http://mathhub.info/MitM/Foundation?Logic?ded?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?Union?axiom_union?type http://mathhub.info/MitM/Foundation?Logic?or?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?Union?axiom_union?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?Union?axiom_union?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?inSet?type
Declares http://mathhub.info/MitM/smglom/typedsets?Union http://mathhub.info/MitM/smglom/typedsets?Union?union
constant http://mathhub.info/MitM/smglom/typedsets?Union?union
DependsOn http://mathhub.info/MitM/smglom/typedsets?Union?union?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?Union?union?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?Union?union?definition http://mathhub.info/MitM/Foundation?Logic?unique?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?Union?union?definition http://mathhub.info/MitM/Foundation?Logic?implies?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?Union?union?definition http://mathhub.info/MitM/Foundation?DescriptionOperator?that?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?Union?union?definition http://mathhub.info/MitM/Foundation?Logic?exists_unique?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?Union?union?definition http://mathhub.info/MitM/Foundation?Logic?ded?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?Union?union?definition http://mathhub.info/MitM/Foundation?Logic?exists_unique?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?Union?union?definition http://mathhub.info/MitM/smglom/typedsets?Union?axiom_union?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?Union?union?definition http://cds.omdoc.org/urtheories?Ded?DED?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?Union?union?definition http://mathhub.info/MitM/Foundation?Logic?eq?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?Union?union?definition http://mathhub.info/MitM/Foundation?Logic?forall?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?Union?union?definition http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?Union?union?definition http://mathhub.info/MitM/Foundation?Logic?iff?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?Union?union?definition http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?Union?union?definition http://mathhub.info/MitM/Foundation?Logic?and?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?Union?union?definition http://mathhub.info/MitM/Foundation?Logic?or?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?Union?union?definition http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?Union?union?definition http://mathhub.info/MitM/smglom/typedsets?TypedSets?inSet?type
Declares http://mathhub.info/MitM/smglom/typedsets?Union http://mathhub.info/MitM/smglom/typedsets?Union?munionCollection
constant http://mathhub.info/MitM/smglom/typedsets?Union?munionCollection
DependsOn http://mathhub.info/MitM/smglom/typedsets?Union?munionCollection?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?Union?munionCollection?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?definition
Declares http://mathhub.info/MitM/smglom/typedsets?Union http://mathhub.info/MitM/smglom/typedsets?Union?unionCollection
constant http://mathhub.info/MitM/smglom/typedsets?Union?unionCollection
DependsOn http://mathhub.info/MitM/smglom/typedsets?Union?unionCollection?type http://mathhub.info/MitM/Foundation?Logic?prop?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?Union?unionCollection?type http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?Union?unionCollection?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?Union?unionCollection?type http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?Union?unionCollection?definition http://mathhub.info/MitM/Foundation?Logic?prop?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?Union?unionCollection?definition http://mathhub.info/MitM/Foundation?Logic?prop?definition
DependsOn http://mathhub.info/MitM/smglom/typedsets?Union?unionCollection?definition http://mathhub.info/MitM/smglom/typedsets?Union?munionCollection?type
DependsOn http://mathhub.info/MitM/smglom/typedsets?Union?unionCollection?definition http://mathhub.info/MitM/smglom/typedsets?TypedSets?set?definition
namespace http://mathhub.info/MitM/smglom/calculus ❚
import base http://mathhub.info/MitM/Foundation ❚
import ts http://mathhub.info/MitM/smglom/typedsets ❚
import ms http://mathhub.info/MitM/smglom/measures ❚
theory DarbouxIntegral : base:?Logic =
\ No newline at end of file
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