Theorem LocalEquiv.trans_ofSet

Modification history