diff options
| author | adelon <22380201+adelon@users.noreply.github.com> | 2024-07-23 16:57:27 +0200 |
|---|---|---|
| committer | adelon <22380201+adelon@users.noreply.github.com> | 2024-07-23 16:57:27 +0200 |
| commit | 8280bc992a00fafddfa186f73eeb67e4f57d8991 (patch) | |
| tree | 512227a36ac2ceb20ef9b00ce96f28bc4317b2ba /library/set/fixpoint.tex | |
| parent | cf392d6f87a87aaadded219c5862dbb686661a3c (diff) | |
Update prover answer prefixes
Diffstat (limited to 'library/set/fixpoint.tex')
0 files changed, 0 insertions, 0 deletions