Skip to content

Commit 5a9af86

Browse files
jdchristensenjdchristensen
authored
Merge pull request #2328 from marcbezem/interchange
An interchange law for squares, and cleanups to Cubical/PathSquare.v
2 parents ae5c618 + a3d559c commit 5a9af86

File tree

1 file changed

+247
-120
lines changed

1 file changed

+247
-120
lines changed

0 commit comments

Comments
 (0)