Also update the theorem name in the master table to match the renamed Coq/Lean function: