Commit 2023-02-01 18:43 888bb9e5

View on Github →

feat: Port/Data.Finsupp.Pwo (#1989) port of data.finsupp.pwo no changes beyond docu/lint fixes

Estimated changes

added theorem Finsupp.isPwo