Skip to content

[Merged by Bors] - chore: rename IrreducibleCloseds fields to match naming convention #238883

[Merged by Bors] - chore: rename IrreducibleCloseds fields to match naming convention

[Merged by Bors] - chore: rename IrreducibleCloseds fields to match naming convention #238883