eqT package:dependent-sum

Deprecated: Instead of 'EqTag tag f', use '(GEq tag, Has' Eq tag f)'