diff options
| author | Malte Voos <git@mal.tc> | 2025-04-17 20:36:14 +0200 |
|---|---|---|
| committer | Malte Voos <git@mal.tc> | 2025-04-17 20:36:14 +0200 |
| commit | 8aa8b4f2fe98af8a928e403718fd3297cbac8684 (patch) | |
| tree | 6db304bcc4d6f215a858a2d6f31c3c40676e426d /lean-toolchain | |
| parent | 52fc07062e41d9b9c00edf7e48187bd4058cdb93 (diff) | |
| download | lean-brooks-8aa8b4f2fe98af8a928e403718fd3297cbac8684.tar.gz lean-brooks-8aa8b4f2fe98af8a928e403718fd3297cbac8684.zip | |
beginning of pf of brooks' theorem, procedure to extend path maximally
Diffstat (limited to 'lean-toolchain')
0 files changed, 0 insertions, 0 deletions