# 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

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

(#11456)
as written by @adamtopaz on zulip