15ee42222b
Substantial simplification of the proof Remove distinction between simple, evenly filled and enclosed graphs
1.3 KiB
1.3 KiB
15ee42222b