diff options
| author | Josh Chen | 2018-08-17 18:39:12 +0200 |
|---|---|---|
| committer | Josh Chen | 2018-08-17 18:39:12 +0200 |
| commit | 31ff82301c71c51957d08965d2e4451d375860d8 (patch) | |
| tree | 4a3ff796fc7eca93449f250d1609cf76c49759be /ex/HoTT book/Ch1.thy | |
| parent | 5cefd4e82dc9c298074ffa8a4e0240786bdf8fc6 (diff) | |
Properties of function composition
Diffstat (limited to 'ex/HoTT book/Ch1.thy')
0 files changed, 0 insertions, 0 deletions