2012-11-19 ago | tuned: use induction rule sigma_sets_induct_disjoint | file | diff | annotate |
2012-11-15 ago | generalized to copy of countable types instead of instantiation of nat for discrete topology | file | diff | annotate |
2012-11-15 ago | regularity of measures, therefore: | file | diff | annotate |