Commit 2024-07-14 14:28 f8a8ae12

View on Github →

feat(Algebra/Module/Submodule/Pointwise): generalize singleton_set_smul (#14723)

Estimated changes