Theorem EMetric.NonemptyCompacts.isometry_toCloseds

Modification history