mathlib
96de1ff9 - include small `list_prod_is_unit` lemma in proof of main theorem

Commit

4 years ago

include small `list_prod_is_unit` lemma in proof of main theorem

Author

j-loreaux

j-loreaux

Parents

Loading