Are you sure though that your extra stuff was actually on correct an on point? AFAIK in math you have the primary notions, the axioms then all the previous defi

Are you sure though that your extra stuff was actually on correct an on point? AFAIK in math you have the primary notions, the axioms then all the previous definitions and proofs, maybe I am imagining somethng different then what actually happened though, an example would be good but it may not be possible for you to remember or express it in a comment here.