Theorem RelIso.preimage_eq_image_symm

Modification history