Theorem LocalEquiv.eqOnSource_refl

Modification history