Quartz 4
Search
Search
Dark mode
Light mode
Reader mode
Explorer
Home
❯
QWI Type
QWI Type
Dec 08, 2025
1 min read
Defined in
fiore2022-quotient-inductive
.
Idea
indexed family
of
QW types
Definition
Graph View
Table of Contents
Idea
Definition
Backlinks
Quotient Inductive Type
fiore2022-quotient-inductive