Skip to content
agda-unimath CI

Some extensions of the fundamental theorem of identity types #8846

Sign in to view logs

Some extensions of the fundamental theorem of identity types

Some extensions of the fundamental theorem of identity types #8846

link-check

link-check
succeeded Feb 9, 2025 in 1m 8s