Skip to content

test: avoid testing colliding private inductives #19382

test: avoid testing colliding private inductives

test: avoid testing colliding private inductives #19382

check-lean-files

succeeded Oct 31, 2025 in 29s