Theorem f_c

Modification history

2025-08-04 12:20
MathlibTest/ErwQuestion.lean
feat: `erw?` supports all arguments that `erw` does (#27751) …
Added f_cView on Github →