# Commit 2022-01-17 21:04 274b5309

View on Github →feat(data/equiv/basic): add `add_equiv.to_int_linear_equiv`

(#11456)
as written by @adamtopaz on zulip

Mathlib v3 is deprecated. Go to Mathlib v4

feat(data/equiv/basic): add `add_equiv.to_int_linear_equiv`

(#11456)
as written by @adamtopaz on zulip