Theorem LocalEquiv.image_source_inter_eq

Modification history