Removed dead code
Derive bounds for min operators requested in #146