Theorem eVariationOn.eq_of_edist_zero_on

Modification history