Commit 2023-01-10 08:44 3f475328

View on Github →

feat: port Data.List.ProdSigma (#1444)

Estimated changes

added theorem List.length_product
added theorem List.length_sigma
added theorem List.mem_product
added theorem List.mem_sigma
added theorem List.nil_product
added theorem List.nil_sigma
added theorem List.product_cons
added theorem List.product_nil
added theorem List.sigma_cons
added theorem List.sigma_nil