Theorem LocalEquiv.EqOnSource.source_inter_preimage_eq

Modification history