/usr/share/matita/lib/arithmetics/

This file is indexed.

/usr/share/matita/lib/arithmetics/ is in matita 0.99.1-3.

This file is owned by root:root, with mode 0o755.

File	Mime Type	Owner	Mode	Size
`..`
`/usr/share/matita/lib/arithmetics/bigops.ma`	text/plain	root:root	0o644	31.1 KB
`/usr/share/matita/lib/arithmetics/binomial.ma`	text/plain	root:root	0o644	4.4 KB
`/usr/share/matita/lib/arithmetics/chinese_reminder.ma`	text/plain	root:root	0o644	4.7 KB
`/usr/share/matita/lib/arithmetics/congruence.ma`	text/plain	root:root	0o644	3.7 KB
`/usr/share/matita/lib/arithmetics/div_and_mod.ma`	text/plain	root:root	0o644	12.0 KB
`/usr/share/matita/lib/arithmetics/exp.ma`	text/plain	root:root	0o644	4.9 KB
`/usr/share/matita/lib/arithmetics/factorial.ma`	text/plain	root:root	0o644	5.8 KB
`/usr/share/matita/lib/arithmetics/gcd.ma`	text/plain	root:root	0o644	13.3 KB
`/usr/share/matita/lib/arithmetics/log.ma`	text/plain	root:root	0o644	11.2 KB
`/usr/share/matita/lib/arithmetics/minimization.ma`	text/plain	root:root	0o644	8.7 KB
`/usr/share/matita/lib/arithmetics/nat.ma`	text/plain	root:root	0o644	19.9 KB
`/usr/share/matita/lib/arithmetics/nat_commented.ma`	text/plain	root:root	0o644	9.6 KB
`/usr/share/matita/lib/arithmetics/nth_prime.ma`	text/plain	root:root	0o644	6.1 KB
`/usr/share/matita/lib/arithmetics/primes.ma`	text/plain	root:root	0o644	14.2 KB
`/usr/share/matita/lib/arithmetics/sigma_pi.ma`	text/plain	root:root	0o644	21.2 KB