Zulip Chat Archive
Stream: triage
Topic: PR !4#20319: feat(Logic/IsEmpty/Relator): empty on sides
Random Issue Bot (Jan 25 2025 at 14:11):
Today I chose PR 20319 for discussion!
feat(Logic/IsEmpty/Relator): empty on sides
Created by @Tristan F.-R. (@LeoDog896) on 2024-12-29
Labels: t-set-theory
Is this PR still relevant? Any recent updates? Anyone making progress?
Yaël Dillies (Jan 25 2025 at 14:48):
Reviewed
Last updated: May 02 2025 at 03:31 UTC