diff options
| author | Enrico | 2016-09-07 17:57:19 +0200 |
|---|---|---|
| committer | GitHub | 2016-09-07 17:57:19 +0200 |
| commit | 806b05dc5c3a1594231225df0e8e9e28441d8736 (patch) | |
| tree | 10fcb8c6d9751a2679b9b91d5c023942f18b1749 /mathcomp/ssreflect/plugin | |
| parent | 3b97308b6314e34d78a6f14c8173956aa64bd026 (diff) | |
abstract_context utility lemma
Diffstat (limited to 'mathcomp/ssreflect/plugin')
0 files changed, 0 insertions, 0 deletions