Report - Notes on homotopy λ-calculus...Mizar does a pretty good job of implementing the ZF-theory but it is nearly impossible to prove ... a ring Ris a type dependent on Rwhich is a member

Please pass captcha verification before submit form