]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 515b66b) | patch
Added summation formula for the power of a binomial.
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Sun, 9 Dec 2007 23:28:01 +0000 (23:28 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Sun, 9 Dec 2007 23:28:01 +0000 (23:28 +0000)
commit892992b24f5476c2b4eed13f64e04854ef919020
tree69eb39b4f50f76bd946eab5063b67ef6b5bf17f7tree | snapshot
parent515b66b082bf6e1553d1aa75ba632b99a4d88e27commit | diff
Added summation formula for the power of a binomial.
helm/software/matita/library/nat/binomial.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.