Theorem linear_combination_with_10_terms

Modification history

2024-09-29 03:27
test/tactic_timeout.lean
fix: call checkSystem in `linarith` and `ring` (#16666) …
Added linear_combination_with_10_termsView on Github →