Theorem uniformity_basis_edist_nnreal

Modification history