Theorem eVariationOn.eq_of_eqOn

Modification history