Skip to content
continuous integration (mathlib forks)

Split off a Ideal/BigOperators.lean file to avoid increasing import… #146371

Sign in to view logs

Split off a Ideal/BigOperators.lean file to avoid increasing import…

Split off a Ideal/BigOperators.lean file to avoid increasing import… #146371

Cancel Previous Runs (CI)

Cancel Previous Runs (CI)
succeeded Oct 31, 2024 in 2s