injective): golf some proofs (#15534)

Commit

3 years ago

chore(algebra/module/injective): golf some proofs (#15534) Co-authored-by: Yury G. Kudryashov <urkud@urkud.name>

Author

Ruben-VandeVelde

Parents