int_quatifier library

Extensions

IntQuatifier on int