Comment by anthonyrstevens

Do you know what "sorry" means in the context of Lean?