Skip to content

Missing superscripts and subscripts - #797

Merged
Vtec234 merged 4 commits into
leanprover:masterfrom
ionathanch:patch-1
Sep 30, 2026
Merged

Vtec234 merged 4 commits into
leanprover:masterfrom
ionathanch:patch-1

Apply suggestion from @Vtec234

654e417
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 warnings and 1 notice
package
succeeded Sep 29, 2026 in 1m 29s