Kevin Buzzard c0cfd9f733 LemmaDoc -> TheoremDoc

2024-01-24 15:45:29 +00:00

..

Doc

Update Definitions.lean

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

Levels

LemmaDoc -> TheoremDoc

2024-01-24 15:45:29 +00:00

MyNat

fix pretty-printing of Power. #46

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

Tactic

use mathlib Apply ... At

2024-01-23 19:24:42 +00:00

Metadata.lean

use mathlib Apply ... At

2024-01-23 19:24:42 +00:00