diff options
| author | Son HO | 2024-06-13 09:32:11 +0200 |
|---|---|---|
| committer | GitHub | 2024-06-13 09:32:11 +0200 |
| commit | 40e79f1fd64a6535334b1af19a817b27a9a0296c (patch) | |
| tree | 9af56ae92741e539894bde6ee8b30ca712324f50 /tests/src/mutually-recursive-traits.lean.out | |
| parent | 216df2a1abeb944b3143476c1e4753cd6c71645f (diff) | |
| parent | 6bff252a5c2a1f1db3230e7cfaec4422d4a27180 (diff) | |
Merge pull request #238 from RaitoBezarius/prop-has-imp-sort
feat: `PropHasImp` can have `Sort u` as premisses
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions