Theorem SetRel.prod_comp_prod_of_inter_nonempty

Modification history

2025-09-25 22:03
Mathlib/Data/Rel.lean
feat(Rel): more API (#26988) …
Added SetRel.prod_comp_prod_of_inter_nonemptyView on Github →