Add a couple lemmas about product in Data.List.Properties#2460

Merged

JacquesCarette merged 8 commits intoagda:masterfrom

Aug 22, 2024

Commits on Aug 15, 2024

Add a couple lemmas about product in Data.List.Properties
dolio
committed

Commits on Aug 17, 2024

Suggested minor changes to ∈⇒≤product
dolio
committed

Commits on Aug 22, 2024

Manually supply instances in product properties
dolio
committed