Theorem Tests.withoutClean

Modification history

2026-09-04 14:00

MathlibTest/Tactic/Clean.lean

chore(Tactic/Clean): deprecate `clean%` (#43413) …

Deleted Tests.withoutClean View on Github →

2023-11-17 05:53

test/Clean.lean

chore: bump to v4.3.0-rc2 (#8366) …

Added Tests.withoutClean View on Github →