Fix addmissing lemma

This commit is contained in:
Samuele Locatelli
2026-06-08 17:35:44 +02:00
parent c67c40d81b
commit da814bc858
8 changed files with 62 additions and 7 deletions
+1 -1
View File
@@ -4,7 +4,7 @@
<TargetFramework>net8.0</TargetFramework>
<Nullable>enable</Nullable>
<ImplicitUsings>enable</ImplicitUsings>
<Version>1.1.2606.0416</Version>
<Version>1.1.2606.0817</Version>
</PropertyGroup>
<ItemGroup>