Alexander Bentkamp 27532a7688 fix errors during merge

2023-03-10 10:14:51 +01:00

..

L01_Simp.lean

rename [New/Only/Disabled][Tactic/Lemma/Definition]

2023-03-08 09:30:01 +01:00

L02_Sum.lean

fix errors during merge

2023-03-10 10:14:51 +01:00

L03_ArithSum.lean

rename [New/Only/Disabled][Tactic/Lemma/Definition]

2023-03-08 09:30:01 +01:00

L04_SumOdd.lean

a few examples of the new feature

2023-03-03 16:36:13 +01:00

L05_SumComm.lean

rename [New/Only/Disabled][Tactic/Lemma/Definition]

2023-03-08 09:30:01 +01:00

L06_Summary.lean

rename [New/Only/Disabled][Tactic/Lemma/Definition]

2023-03-08 09:30:01 +01:00

T01_Induction.lean

rename [New/Only/Disabled][Tactic/Lemma/Definition]

2023-03-08 09:30:01 +01:00

T02_Induction.lean

rename [New/Only/Disabled][Tactic/Lemma/Definition]

2023-03-08 09:30:01 +01:00

T03__Bernoulli.lean

rename [New/Only/Disabled][Tactic/Lemma/Definition]

2023-03-08 09:30:01 +01:00