Theorem Set.subsingleton_of_forall_eq

Modification history