attempt 3 fix \lean{}

Deleted all presence of \lean{}. Problem not fixed
Antoine-dSG · Jul 16, 2024 · 0bef479 · 0bef479
1 parent f72456a
commit 0bef479
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/blueprint/src/chapter1.tex b/blueprint/src/chapter1.tex
@@ -20,7 +20,6 @@ \chapter{Symmetries of frieze patterns}\label{s:fp}
 
 \begin{proposition}
 \label{prop:glide-symm}
-\lean{hasTransInvar}
 \uses{def:closed-fp, def:glide} 
 Every frieze pattern of width $n$ is $\rho_n$-invariant, i.e. satisfies 
 \[