Theorem Metric.hasBasis_nhdsSet_cthickening

Modification history