local_equiv): use dot notation for `eq_on_source` (#2830)

Commit

5 years ago

refactor(data/equiv/local_equiv): use dot notation for `eq_on_source` (#2830) Also reuse more lemmas from `data/set/function`.

Author

urkud

Parents