matita 0.5.8-3build1 / usr / share / matita / ma / standard-library / Q

This file is indexed.

/usr/share/matita/ma/standard-library/Q/ is in matita 0.5.8-3build1.

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

File Mime Type Owner Mode Size
..
/usr/share/matita/ma/standard-library/Q/Qaxioms.ma text/plain root:root 0o644 2.8 KB
/usr/share/matita/ma/standard-library/Q/frac.ma text/plain root:root 0o644 4.2 KB
/usr/share/matita/ma/standard-library/Q/fraction/ root:root 0o755
/usr/share/matita/ma/standard-library/Q/fraction/finv.ma text/plain root:root 0o644 1.3 KB
/usr/share/matita/ma/standard-library/Q/fraction/fraction.ma text/plain root:root 0o644 6.6 KB
/usr/share/matita/ma/standard-library/Q/fraction/ftimes.ma text/plain root:root 0o644 5.3 KB
/usr/share/matita/ma/standard-library/Q/fraction/numerator_denominator.ma text/plain root:root 0o644 4.1 KB
/usr/share/matita/ma/standard-library/Q/inv.ma text/plain root:root 0o644 2.8 KB
/usr/share/matita/ma/standard-library/Q/nat_fact/ root:root 0o755
/usr/share/matita/ma/standard-library/Q/nat_fact/times.ma text/plain root:root 0o644 2.5 KB
/usr/share/matita/ma/standard-library/Q/q/ root:root 0o755
/usr/share/matita/ma/standard-library/Q/q.ma text/plain root:root 0o644 2.8 KB
/usr/share/matita/ma/standard-library/Q/q/q.ma text/plain root:root 0o644 2.2 KB
/usr/share/matita/ma/standard-library/Q/q/qinv.ma text/plain root:root 0o644 1.3 KB
/usr/share/matita/ma/standard-library/Q/q/qplus.ma text/plain root:root 0o644 1.0 KB
/usr/share/matita/ma/standard-library/Q/q/qtimes.ma text/plain root:root 0o644 6.2 KB
/usr/share/matita/ma/standard-library/Q/ratio/ root:root 0o755
/usr/share/matita/ma/standard-library/Q/ratio/ratio.ma text/plain root:root 0o644 1.3 KB
/usr/share/matita/ma/standard-library/Q/ratio/rinv.ma text/plain root:root 0o644 1.3 KB
/usr/share/matita/ma/standard-library/Q/ratio/rtimes.ma text/plain root:root 0o644 17.6 KB

APT Browse - Built by Thomas Orozco.