Theorem IsTransitiveRel.mem_filter_prod_trans

Modification history