Theorem ManyOneEquiv.congr_right

Modification history