Skip to content

feat: List.merge and lemmas#579

Merged
kim-em merged 1 commit intoleanprover-community:mainfrom fgdorais:mergeMar 6, 2024

Commits

Commits on Feb 4, 2024