Skip to content

Generalise Thm attributes to allow key=val1 val2 .. valn syntax #674

Generalise Thm attributes to allow key=val1 val2 .. valn syntax

Generalise Thm attributes to allow key=val1 val2 .. valn syntax #674

Annotations

1 warning

build-expk

succeeded Dec 18, 2024 in 56m 26s