cubical icon indicating copy to clipboard operation
cubical copied to clipboard

Published 20 hours ago • verified publisher icon agda

CP2

Open thomas-lamiaux opened this issue 2 years ago • 1 comments

@aljungstrom @mortberg this now the one about CP2 The missing lemma https://github.com/agda/cubical/pull/846/files#diff-698ce42781a40deec28df98fa92612bbea8a1672b47c9cda870dd00d22ef2e8dR441

thomas-lamiaux avatar Jun 19 '22 21:06 thomas-lamiaux

@mortberg done

thomas-lamiaux avatar Jul 22 '22 23:07 thomas-lamiaux

done

thomas-lamiaux avatar Sep 19 '22 00:09 thomas-lamiaux