diff options
| author | Josh Chen | 2019-02-05 18:32:43 +0100 |
|---|---|---|
| committer | Josh Chen | 2019-02-05 18:32:43 +0100 |
| commit | 64d2a5c60acce40113362c9d7eca8cd633362d23 (patch) | |
| tree | 29e953d8b4d423c881050a430e36f1f13dbe4543 /HoTT_Methods.thy | |
| parent | 9d21e7e4ca3f22055acf72f15f19d4c9248882ca (diff) | |
Add cong named theorem for congruence rules
Diffstat (limited to 'HoTT_Methods.thy')
0 files changed, 0 insertions, 0 deletions