przejście od "auto-formalizacji" do "auto-formalizacji wszystkich przeprosin w publicznych repozytoriach Lean4"