Rishikesh Vaishnav: Lean4Less: A Term-Patching Framework for Eliminating Defitional Equalities in Lean