edef