youwen5/alexandria
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 1

auto-update(nvim): 2025-01-06 19:13:42
Some checks are pending
Deploy Quartz site to GitHub Pages using Nix / build (push) Waiting to run
Details
Deploy Quartz site to GitHub Pages using Nix / deploy (push) Blocked by required conditions
Details

Browse source
This commit is contained in:
Youwen Wu 2025-01-06 19:13:42 -08:00
parent 81cfa74ab9
commit c8a445ee2d
Signed by: youwen5
GPG key ID: 865658ED1FE61EC3
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
documents/by-course/math-8/course-notes/dvd.typ
View file

@ -283,7 +283,7 @@
// #let example-style = builder-thmline(color: colors.at(16))
#let example = example-style("item", "Example").with(numbering: none)
#let example = example-style("item", "Example")
#let proof(body, name: none) = {
thmtitle[Proof]