aboutsummaryrefslogtreecommitdiff
path: root/math/open-axiom/pkg-descr
blob: 48b7862cc7017b573164fe75c9bc822f3b5bc66c (plain) (blame)
1
2
3
4
5
6