Commit 2025-02-05 15:13 3eb0ff70
View on Github →chore(Algebra/Field/Basic): make some arguments implicit (#21453)
Make the first three arguments of sub_div'
and div_sub'
implicit. Note that these arguments were (almost) never explicitly provided whenever these functions were used.