気が向いたらやります。Propertyは書かないかもしれません。 *list [#d5ba3153] -[[Lindeloff]] -[[paracompact]] -[[weakly Lindelof]] -[[ℵ_1-paralindelof>\alef_1-paralindelof]]
気が向いたらやります。Propertyは書かないかもしれません。 *list [#d5ba3153] -[[Lindeloff]] -[[paracompact]] -[[weakly Lindelof]] -[[ℵ_1-paralindelof>\alef_1-paralindelof]]