Definition of "redefinitions"

redefinitions