TWiki
>
Mizar Web
>
SigmaFieldOfSubsets
(2006-01-04,
AdamGrabowski
)
E
dit
A
ttach
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
E
dit
|
A
ttach
|
P
rint version
|
H
istory
: r2
<
r1
|
B
acklinks
|
R
aw View
|
Ra
w
edit
|
M
ore topic actions
Topic revision: r2 - 2006-01-04 - 12:51:15 -
AdamGrabowski
Mizar
Mizar Web
Mizar Web Home
Changes
Index
Search
Webs
Main
Mizar
Sandbox
TWiki
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki?
Send feedback