Chris

Results 1 issues of Chris

Edit: This addresses https://github.com/pi-base/data/issues/696. I have added * the properties P193 (Shrinking) and P194 (Submetacompact) * T542 Shrinking implies Normal * T543 Shrinking implies Countably paracompact * T544 Metacompact implies...