Skip to content

feat: add Nonempty instances for products#5374

Merged
david-christiansen merged 1 commit intoleanprover:masterfrom david-christiansen:nonempty-prodSep 18, 2024

Commits

Commits on Sep 17, 2024