Theorem LocalEquiv.EqOnSource.trans'

Modification history