#import "@preview/ctheorems:1.1.3": *

// What is this for?
// #show: thmrules.with(qed-symbol: $square$)


// TODO: Set this up so that it looks good
#let theorem = thmbox("theorem", "Theorem", fill: rgb("#eeffee")).with(numbering: "1.1") //tem
#let corollary = thmplain( //cor
	"corollary",
	"Corollary",
	base: "theorem",
	titlefmt: strong
)
#let definition = thmbox("definition", "Definition", inset: (x: 1.2em, top: 1em)) //def
#let example = thmplain("example", "Example").with(numbering: none) //exa
#let proof = thmproof("proof", "Proof") //pro
#let remark = thmbox("remark", "Remark") //rem
#let axiom = thmbox("axiom", "Axiom") //axi
#let lemma = thmbox("lemma", "Lemma") //lem

// Add a note
#let note = thmbox("note", "Note") //nte