Theorem LocalEquiv.trans_source'

Modification history