Joyal's CatLab
Empty 1637
Skip the Navigation Links
|
Home Page
|
All Pages
|
Redirected from "Id-induction".
A (former) cube by Jacques Distler.
A better version is
on my website
.
Revised on March 1, 2010 at 17:15:03 by
joyal