Jon Eugster f636a8d833 fix missing lemma docs from statement names

2023-04-03 11:53:48 +02:00

..

Level_1.lean

add NNG

2023-03-26 14:29:13 +02:00

Level_2.lean

fix missing lemma docs from statement names

2023-04-03 11:53:48 +02:00

Level_3.lean

fix missing lemma docs from statement names

2023-04-03 11:53:48 +02:00

Level_4.lean

fix missing lemma docs from statement names

2023-04-03 11:53:48 +02:00

Level_5.lean

fix missing lemma docs from statement names

2023-04-03 11:53:48 +02:00

Level_6.lean

add NNG

2023-03-26 14:29:13 +02:00

Level_7.lean

fix missing lemma docs from statement names

2023-04-03 11:53:48 +02:00

Level_8.lean

fix missing lemma docs from statement names

2023-04-03 11:53:48 +02:00

Level_9.lean

fix missing lemma docs from statement names

2023-04-03 11:53:48 +02:00

Level_10.lean

add NNG

2023-03-26 14:29:13 +02:00