Documentation

Batteries.Data.Int.DivMod

Lemmas about integer division #

The following lemmas have been commented out here for a while, and need restoration. #