Theorem eVariationOn.edist_le

Modification history