Commit 2022-05-04 11:10 ceca8d74
View on Github →fix(ring_theory/polynomial/basic): fix unexpected change of an implicit parameter (#13935) Fix unexpected change of an implicit parameter in the previous PR(#13800). Fix docstring.
fix(ring_theory/polynomial/basic): fix unexpected change of an implicit parameter (#13935) Fix unexpected change of an implicit parameter in the previous PR(#13800). Fix docstring.