diff options
| author | adelon <22380201+adelon@users.noreply.github.com> | 2025-07-16 21:48:35 +0200 |
|---|---|---|
| committer | adelon <22380201+adelon@users.noreply.github.com> | 2025-07-16 21:48:35 +0200 |
| commit | ddff54964ec78dd3e2a688f4525b39e41b82b5f0 (patch) | |
| tree | 4dad626d30d0949c02c4ebca7e32d090f7ca63e3 /library/set/regularity.tex | |
| parent | 9aac1a22c4ff4b4be16800b86e34a94d358b0deb (diff) | |
Relax label syntax
Diffstat (limited to 'library/set/regularity.tex')
0 files changed, 0 insertions, 0 deletions