Commit 2023-01-25 10:47 8c5dfbdb

View on Github →

feat: a • b ≠ 0 → b ≠ 0 (#1411) Match https://github.com/leanprover-community/mathlib/pull/18086

Estimated changes