1 2 3 4 5 6 7 8 9#import "@preview/equate:0.2.1": equate #import "@preview/fletcher:0.5.3" #import "@preview/fletcher:0.5.3": diagram, node, edge #import "@preview/cetz:0.3.1" #import "definitions/original.typ": * #import "definitions/ctheorems.typ": * #import "definitions/pinit.typ": *