Kevin Buzzard b8a0fd8c64 rename le_of_succ_le_succ to succ_le_succ

2023-12-22 15:54:08 +00:00

..

Doc

Update Definitions.lean

2023-10-26 17:45:48 +02:00

Levels

rename le_of_succ_le_succ to succ_le_succ

2023-12-22 15:54:08 +00:00

MyNat

fix pretty-printing of Power. #46

2023-12-15 15:22:45 +01:00

Tactic

Replace recursive definitions of algebraic operations with axioms (#41)

2023-11-22 09:26:49 +01:00

Metadata.lean

pretty-printer for not equal

2023-10-28 22:01:03 +02:00