Theorem Function.Injective.eq_iff'

Modification history