diff options
| author | Josh Chen | 2018-09-17 13:13:08 +0200 |
|---|---|---|
| committer | Josh Chen | 2018-09-17 13:13:08 +0200 |
| commit | ea0c0c5427888982adce10ab25cebe445997f08b (patch) | |
| tree | 8fe0b8aefb0cb14f0a1d9188892d8975f4b000a9 /ex | |
| parent | d4900ced2e071927d81a21a9127034941f258ec3 (diff) | |
Moved function composition lemmas into Prod.thy
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions