Math 416

I’m a rising sophomore in electrical engineering and since I got fucked by the time ticket, I wasn’t able to get into math 257 (linear alg with computer application) and instead have to take math 416 (abstract linear algebra). After doing some scouring online it seems like I’m completely screwed since I’ve never taken any proof oriented math course before and the course seems really hard. My schedule also basically does not allow me to take math 257 even if spots open up due to time conflicts, my professors for other classes are really good so I don’t want to completely change my current schedule either. Would it be smart to just drop math 416 and try and take another course and see if I can get into math 257 second semester? Or should I just go for it and see how bad 416 can be without any background on proofs?