Skip to content

Readd proof that trace equiv is equiv closure of swapping once #186

Readd proof that trace equiv is equiv closure of swapping once

Readd proof that trace equiv is equiv closure of swapping once #186

Annotations

1 warning

build

succeeded Mar 29, 2026 in 4m 27s