Theorem IsTransitiveRel.prod_subset_trans

Modification history