Commit 2025-01-23 15:49 86b1020e
View on Github →feat: inj/cancel from mono (#20973) Prove injectivity/cancellability of mul/add assuming some monotonicity. These results were rescued from #6627.
feat: inj/cancel from mono (#20973) Prove injectivity/cancellability of mul/add assuming some monotonicity. These results were rescued from #6627.