Theorem Set.definable_finset_sup

Modification history