Skip to content

Theorem 5.8.2 from the book: characterizations of identity types #3036

Theorem 5.8.2 from the book: characterizations of identity types

Theorem 5.8.2 from the book: characterizations of identity types #3036

Annotations

2 errors

build (latest)

cancelled Nov 21, 2024 in 8s