Theorem LocalEquiv.trans_assoc

Modification history