Def Function.injective.decidable_eq

Modification history