Skip to content

refactor: some Meta.Match.Match refactorings #19265

refactor: some Meta.Match.Match refactorings

refactor: some Meta.Match.Match refactorings #19265

check-lean-files

succeeded Oct 29, 2025 in 29s