Theorem ManyOneEquiv.congr_left

Modification history