Commit 2022-12-14 15:48 2f089125

View on Github →

feat port: Algebra.Order.Field.Canonical.Basic (#1018) ee0c179cd3c8a45aa5bffbf1b41d8dbede452865

Estimated changes

added theorem tsub_div