Theorem uniformity_basis_edist_nnreal_le

Modification history