Theorem Set.Intersecting.not_bot_mem

Modification history