mathlib

d301d431 - feat(algebra/invertible): invertible.copy (#4318)

feat(algebra/invertible): invertible.copy (#4318) A useful gadget from the Witt vector project. Co-authored by: Johan Commelin <johan@commelin.net> Co-authored-by: Rob Lewis <rob.y.lewis@gmail.com>