format_lean icon indicating copy to clipboard operation
format_lean copied to clipboard
verified publisher icon leanprover-community

Sandwich Theorem Typo

Open 2037 opened this issue 2 years ago • 0 comments

Shouldn't the |bn-l| be |cn-l| in the last second line of Sandwich Theorem? image

2037 avatar Jun 13 '23 17:06 2037