added proof of every integer has an unique expansion in base b in the induction report. really messy and probably wrong but it's the current best atm :>
added proof of every integer has an unique expansion in base b in the induction report. really messy and probably wrong but it's the current best atm :>

nunoskew/nunoskew.github.io,nunoskew/nunoskew.github.io,nunoskew/nunoskew.github.io