surjective transferring functions (#6892)

Commit

4 years ago

chore(algebra/smul_with_zero): add missing injective / surjective transferring functions (#6892)

Author

eric-wieser

Parents