Theorem uniformity_basis_edist_le'

Modification history