Will hopefully become a Lean port of the mathcomp big operators library as described in this paper.
chrishughes24 / bigop Goto Github PK
View Code? Open in Web Editor NEWThis project forked from patrickmassot/bigop
Lean port of the mathcomp big operators lib