Theorem subset_trans

Modification history