Arnaud 71e5424a17 Remove extra space, that prevent translation

2025-07-11 14:00:36 +02:00

..

L01mul_le_mul_right.lean

docstring update for advanced mult world

2024-01-24 17:27:04 +00:00

L02mul_left_ne_zero.lean

docstring update for advanced mult world

2024-01-24 17:27:04 +00:00

L03eq_succ_of_ne_zero.lean

docs: more tauto docstring

2025-02-15 16:52:55 +00:00

L04one_le_of_ne_zero.lean

docstring update for advanced mult world

2024-01-24 17:27:04 +00:00

L05le_mul_right.lean

docs: more hints in advanced multiplication L5

2025-02-15 16:48:31 +00:00

L06mul_right_eq_one.lean

Fix hint.

2024-07-04 17:02:25 +02:00

L07mul_ne_zero.lean

docstring update for advanced mult world

2024-01-24 17:27:04 +00:00

L08mul_eq_zero.lean

doc: add conclusion for adv multn L8

2025-02-17 10:09:59 +00:00

L09mul_left_cancel.lean

Remove extra space, that prevent translation

2025-07-11 14:00:36 +02:00

L10mul_right_eq_self.lean

docstring update for advanced mult world

2024-01-24 17:27:04 +00:00