Theorem PSet.Mem.congr_left

Modification history