Theorem thm_use_it

Modification history

2025-08-29 02:42
MathlibTest/Util/PrintSorries.lean
feat: `#print sorries`, a command to find usage of `sorry` (#25179) …
Added thm_use_itView on Github →