Identity Types & Groupoids Written by James B. Wilson Quick Sylver ← Previous Adjoint Tensor Next → Related Docs
