Theorem Lists'.ofList_subset

Modification history