hellerar [Thu, 02 Sep 2010 15:36:15 +0200] rev 39329
merged
hellerar [Thu, 02 Sep 2010 15:31:38 +0200] rev 39328
measure unique
hellerar [Wed, 01 Sep 2010 17:19:47 +0200] rev 39327
merge
hoelzl [Thu, 02 Sep 2010 17:12:40 +0200] rev 39326
move lemmas to correct theory files
hoelzl [Fri, 27 Aug 2010 16:23:51 +0200] rev 39325
factorizable measurable functions
hoelzl [Fri, 27 Aug 2010 15:05:07 +0200] rev 39324
Introduced sigma algebra generated by function preimages.
hoelzl [Fri, 27 Aug 2010 14:06:12 +0200] rev 39323
vimage of measurable function is a measure space
hoelzl [Fri, 27 Aug 2010 14:05:16 +0200] rev 39322
Measurable on product space is equiv. to measurable components
hoelzl [Fri, 27 Aug 2010 14:05:03 +0200] rev 39321
Measurable on euclidean space is equiv. to measurable components
hoelzl [Fri, 27 Aug 2010 13:48:10 +0200] rev 39320
preimages of open sets over continuous function are open