Skip to content

test: avoid testing colliding private inductives #19389

test: avoid testing colliding private inductives

test: avoid testing colliding private inductives #19389

check-lean-files

succeeded Nov 1, 2025 in 31s