Theorem Set.definable_finset_inf

Modification history