Theorem Metric.hasBasis_cobounded_compl_ball

Modification history