Yannick Seurin 47e143cd67 Update L08pow_pow.lean

2024-06-12 14:38:20 +02:00

..

L01zero_pow_zero.lean

missed one in power world

2024-01-24 17:45:50 +00:00

L02zero_pow_succ.lean

power world docstrings

2024-01-24 17:37:50 +00:00

L03pow_one.lean

power world docstrings

2024-01-24 17:37:50 +00:00

L04one_pow.lean

power world docstrings

2024-01-24 17:37:50 +00:00

L05pow_two.lean

power world docstrings

2024-01-24 17:37:50 +00:00

L06pow_add.lean

power world docstrings

2024-01-24 17:37:50 +00:00

L07mul_pow.lean

typo in L07mul_pow.lean

2024-06-12 14:37:49 +02:00

L08pow_pow.lean

Update L08pow_pow.lean

2024-06-12 14:38:20 +02:00

L09add_sq.lean

power world docstrings

2024-01-24 17:37:50 +00:00

L10FLT.lean

power world docstrings

2024-01-24 17:37:50 +00:00