Loading article…
Canonicity (type theory) | japedia.wiki