Theorem Set.encard_singleton_inter

Modification history