Theorem uniformity_basis_edist'

Modification history