Theorem Lists'.cons_subset

Modification history