Theorem PSet.Subset.congr_left

Modification history