Anfonwch hwn fel neges destun: Finite BRST–antiBRST transformations in Lagrangian formalism