Skip to content

Commit 89c3a01

Browse files
wwylelewwylele
committed
disable whitespace linter for TransferAux
1 parent db08394 commit 89c3a01

1 file changed

Lines changed: 1 addition & 0 deletions

File tree

‎Poncelet/TransferAux.lean‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,7 @@ import Mathlib
22
import Poncelet.Elliptic
33

44
set_option linter.style.longLine false
5+
set_option linter.style.whitespace false
56

67
open WeierstrassCurve.Affine
78

0 commit comments

Comments
 (0)