Commit 2019-09-05 00:46 62928251
View on Github →feat(data/equiv/local_equiv): define local equivalences (#1359)
- feat(data/equiv/local_equiv): define local equivalences
- add doc
- add extensionality attribute
- sanity_check
feat(data/equiv/local_equiv): define local equivalences (#1359)