| Fri, 27 Aug 2010 15:05:07 +0200 | hoelzl | Introduced sigma algebra generated by function preimages. | changeset | files |
| Fri, 27 Aug 2010 14:06:12 +0200 | hoelzl | vimage of measurable function is a measure space | changeset | files |
| Fri, 27 Aug 2010 14:05:16 +0200 | hoelzl | Measurable on product space is equiv. to measurable components | changeset | files |