diff options
| author | adelon <22380201+adelon@users.noreply.github.com> | 2024-05-22 20:17:33 +0200 |
|---|---|---|
| committer | adelon <22380201+adelon@users.noreply.github.com> | 2024-05-22 20:17:33 +0200 |
| commit | 342ac0ab2f01b0b98886a0b3db77917d86ded2dc (patch) | |
| tree | 122cb65888c7f73e5b613f25c2c88ffc63e3d345 /test/golden/no-reflexive-set/glossing.golden | |
| parent | 3e4e7afc69bf43b3b45bde346c92f267e9b15c39 (diff) | |
Add filter lemmas
Diffstat (limited to 'test/golden/no-reflexive-set/glossing.golden')
0 files changed, 0 insertions, 0 deletions