Commit 2021-08-10 18:08 acab4f94
View on Github →feat(algebra/pointwise): add preimage_smul and generalize a couple of assumptions (#8600) Some lemmas about smul spun off from #2819
feat(algebra/pointwise): add preimage_smul and generalize a couple of assumptions (#8600) Some lemmas about smul spun off from #2819