aniva/Pantograph
aniva
/
Pantograph
1
1
Fork 0
Code Issues 15 Pull Requests 3 Packages Projects Releases Wiki Activity

fix: Use the correct unfold aux lemma #215

Merged
aniva merged 1 commits from bug/unfold-aux-lemma into dev 2025-06-20 10:21:02 -07:00
Conversation 0 Commits 1 Files Changed 3 +5 -3

1 Commits

Author SHA1 Message Date
Leni Aniva 7d9d3e4742
fix: Use the correct unfold aux lemma 2025-06-19 15:48:53 -07:00