Def cut

Modification history

2022-02-28 10:33
archive/100-theorems-list/45_partition.lean
feat(archive/100-theorems-list): Partition theorem (#4259) …
Added cutView on Github →