Theorem RelIso.image_eq_preimage_symm

Modification history