Skip to content

fix: pattern selection for local lemmas #26448

fix: pattern selection for local lemmas

fix: pattern selection for local lemmas #26448