Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-09-08 17:50 4222c322

View on Github →

lint(testing/slim_check/*): break long lines (#9091)

Estimated changes

Modified src/testing/slim_check/gen.lean

Modified src/testing/slim_check/testable.lean

modified def slim_check.minimize

modified def slim_check.minimize_aux

modified def slim_check.testable.check