Skip to content

Reassociated conjugation is the identity #8681

Reassociated conjugation is the identity

Reassociated conjugation is the identity #8681

typecheck (macOS-13, 2.7.0)

succeeded Feb 5, 2025 in 4m 27s