Theorem Finset.fold_op_rel_iff_or

Modification history