Theorem uses_norm_num

Modification history

2024-07-18 07:43
test/MinImports.lean
feat: `#min_imports in` command (#14437) …
Added uses_norm_numView on Github →