chore(logic/function/basic): make function.injective.decidable_eq protected (#15759)
function.injective.decidable_eq