Skip to content

refactor: some Meta.Match.Match refactorings #19268

refactor: some Meta.Match.Match refactorings

refactor: some Meta.Match.Match refactorings #19268

check-lean-files

succeeded Oct 29, 2025 in 31s