Skip to content
Add "ready-to-merge" and "delegated" label from comment

[Merged by Bors] - feat: Disjoint (a • s) t ↔ Disjoint s (a⁻¹ • t) #60490

Sign in to view logs

[Merged by Bors] - feat: Disjoint (a • s) t ↔ Disjoint s (a⁻¹ • t)

[Merged by Bors] - feat: Disjoint (a • s) t ↔ Disjoint s (a⁻¹ • t) #60490

This job was skipped