Theorem Metric.hasBasis_nhdsSet_thickening

Modification history