Theorem LocalizedModule.r.isEquiv

Modification history