mathlib
36b4a1e3 - refactor(algebra/add_torsor): use `out_param` (#3727)

Commit

5 years ago

refactor(algebra/add_torsor): use `out_param` (#3727) Co-authored-by: Joseph Myers <jsm@polyomino.org.uk>

Author

urkud

Parents