4 commits

Author	SHA1	Message	Date
Leonardo de Moura	f7a43c7997	feat(library/data/nat/sqrt): generalize sqrt_eq theorem	2015-04-14 20:10:18 -07:00
Leonardo de Moura	faca0acd26	feat(library/data/nat/sqrt): add sqrt_eq theorem	2015-04-14 15:38:54 -07:00
Leonardo de Moura	2eb7538c96	fix(library/data/nat/sqrt): adjust to reflect recent changes	2015-04-14 09:01:15 -07:00
Leonardo de Moura	11c9bb4626	feat(library/data/nat): naive square root function	2015-04-14 09:01:15 -07:00