Theorem Set.preimage_equiv_eq_image_symm

Modification history