diff options
| author | Emilio Jesus Gallego Arias | 2020-02-22 15:54:11 -0500 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-02-22 15:54:11 -0500 |
| commit | fe86fb5561f2bbde86236d8c91e973df4393049f (patch) | |
| tree | b593c748432234e0ba990f9e583708fda8a37a71 /dev | |
| parent | 53c9fd8339873b2bd77d756a96a2908eb5ce078a (diff) | |
| parent | 2ed097cfba9136a0fba9b961d24c408077fac11d (diff) | |
Merge PR #11596: ComInductive: use lbound=Prop iff non polymorphic
Reviewed-by: ejgallego
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions