Theorem OneOneEquiv.congr_right

Modification history