Commit 2025-10-15 10:28 bfa61d17

View on Github →

chore: rename IrreducibleCloseds fields to match naming convention (#30550)

Estimated changes