Theorem OneOneEquiv.congr_left

Modification history