limit mathlib:binomial_coeff_feeder/2 to eliminate type check timeouts
limit mathlib:binomial_coeff_feeder/2 to eliminate type check timeouts
tectronics/scalaris,tectronics/scalaris,digshock/scalaris,seyyed/scalaris,seyyed/scalaris,tectronics/scalaris,seyyed/scalaris,seyyed/scalaris,tectronics/scalaris,tectronics/scalaris,digshock/scalaris,digshock/scalaris,seyyed/scalaris,digshock/scalaris,digshock/scalaris,digshock/scalaris,tectronics/scalaris,seyyed/scalaris,seyyed/scalaris,digshock/scalaris,tectronics/scalaris