Theory natural

subs

13 subs

name	axiom-infinity
package	axiom-infinity-1.12

name	def
imports	axiom-infinity
package	natural-def-1.29

name	thm
imports	def
package	natural-thm-1.22

name	dest
imports	thm
package	natural-dest-1.18

name	numeral
imports	thm
package	natural-numeral-1.20

name	order
imports	def thm
package	natural-order-1.52

name	add
imports	def thm dest numeral order
package	natural-add-1.68

name	mult
imports	def thm numeral order add
package	natural-mult-1.61

name	div
imports	def thm numeral order add mult
package	natural-div-1.57

name	exp
imports	def thm numeral order add mult div
package	natural-exp-1.53

name	factorial
imports	def thm numeral order add mult
package	natural-factorial-1.39

name	distance
imports	thm numeral order add mult
package	natural-distance-1.52

name	funpow
imports	def thm numeral add mult
package	natural-funpow-1.17