diff options
| author |  Joachim Breitner <mail@joachim-breitner.de> | 2017-12-06 14:04:28 -0500 |
|---|---|---|
| committer | Joachim Breitner <mail@joachim-breitner.de> | 2017-12-06 14:04:28 -0500 |
| commit | aa34aad8dbeccdb491b285de660fc9499c290efc (patch) | |
| tree | 19b49263cc62a5d1ec55e94c5f80758f86a8cdaa /vernac/classes.ml | |
| parent | 2c5e81e3bc6ec17d253aeedd1b2bf4ccd3b81933 (diff) | |
Additional rewrite lemmas on Ensembles, in Powerset_facts
Diffstat (limited to 'vernac/classes.ml')
0 files changed, 0 insertions, 0 deletions