chore(ModelTheory): fix hypo of realize_liftAt#39004

zhuyizheng wants to merge 1 commit intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

zhuyizheng:fix-realize-liftatzhuyizheng/mathlib4:fix-realize-liftatCopy head branch name to clipboard