diff options
| author | Josh Chen | 2018-09-19 11:55:45 +0200 |
|---|---|---|
| committer | Josh Chen | 2018-09-19 11:55:45 +0200 |
| commit | f602cb54b39b3c1bb4f755db09bdeeb2f31a9559 (patch) | |
| tree | 94a4b3016aebdc8855d6d12a2bd842649b0d3485 /Proj.thy | |
| parent | 59a1409b1d15860344e91a4512b60ab8d4368e44 (diff) | |
proof of associativity of path composition
Diffstat (limited to 'Proj.thy')
0 files changed, 0 insertions, 0 deletions