Suggestion: sigma Field of Subsets

Two introductions of one concept, SigmaField? from PROB_1 and sigma_Field_Subset from MEASURE1, should be unified.

-- GrzegorzBancerek - 04 Jan 2006

Article name: PROB_1, MEASURE1
MML version:  
|

Follow up

The equivalence of both approaches is shown in TOPGEN_4.

-- AdamGrabowski - 04 Jan 2006

WebForm
TopicClassification MmlSuggestion
ProjectGroup?

ImplementationDate? N/A
Topic revision: r2 - 2006-01-04 - 12:51:15 - AdamGrabowski
 
Mizar TWiki
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback