diff options
| author | adelon <22380201+adelon@users.noreply.github.com> | 2024-05-22 16:58:06 +0200 |
|---|---|---|
| committer | adelon <22380201+adelon@users.noreply.github.com> | 2024-05-22 16:58:06 +0200 |
| commit | 3e4e7afc69bf43b3b45bde346c92f267e9b15c39 (patch) | |
| tree | 20cc299224860cb1e2db76841e2508c3441cdff5 /library/algebra/magma.tex | |
| parent | 311fff704f96869e0ea239f129a7cf846c206c4f (diff) | |
Add lemma `filter_setminus_in`
Diffstat (limited to 'library/algebra/magma.tex')
0 files changed, 0 insertions, 0 deletions