Commit 2021-09-22 20:20 5b3b71a0

chore(data/equiv): rename bool_to_equiv_prod to bool_arrow_equiv_prod (#9333) Other changes:

• use an explicit definition;
• use @[simps].