Def Tests.Congrm.foo'

Modification history

2023-08-27 12:05
test/congrm.lean
feat: `congr(...)` congruence quotations and port `congrm` tactic (#2544) …
Added Tests.Congrm.foo'View on Github →