Theorem LocalEquiv.EqOnSource.source_eq

Modification history