wip: Define Disc using inductive identity#623

aathn wants to merge 1 commit into

the1lab:mainthe1lab/1lab:mainfrom

aathn:disc-idaathn/1lab:disc-idCopy head branch name to clipboard