Theorem Function.Injective.convexIndependent_iff_set

Modification history