<p>I need to just learn sit down and ssreflect. The proofs in mathcomp look so much less sketchy than mine lol</p>