Theorem prod_test

Modification history

2025-04-26 23:10

MathlibTest/Simproc/ProdUnivMany.lean

feat(Algebra/BigOperators): simprocify `prod_univ_one/two/three/...` (#23425) …

Added prod_test View on Github →