Def dfinsupp.equiv_congr_left

Modification history