Def Q

Modification history

2023-10-20 16:10
test/says.lean
fix(says tactic): Don’t stumble over `Try this:\n` instead of `Try this:␣` (#7803) …
Added QView on Github →