aboutsummaryrefslogtreecommitdiff
path: root/CHANGELOG_UNRELEASED.md
AgeCommit message (Expand)Author
2019-10-25Merge pull request #396 from CohenCyril/edivnDLaurent Théry
2019-10-25Instances for empty type. (#393)Arthur Azevedo de Amorim
2019-10-25Stability proofs of sort (#358)Kazuhiko Sakaguchi
2019-10-25More arithmetic theoremsCyril Cohen
2019-10-24Added and generalized arithmetic theorems. (#394)Cyril Cohen
2019-10-16shifting to CHANGELOG_UNRELEASEDCyril Cohen
2019-10-07Merge pull request #384 from pi8027/hierarchyCyril Cohen
2019-10-05Add flatten_map1 and allpairs_consrKazuhiko Sakaguchi
2019-10-02Fix and improve the test suite and MakefileKazuhiko Sakaguchi
2019-09-30Generalize `allpairs_catr` to non-`eqType`sKazuhiko Sakaguchi
2019-09-30Euclid theorem for product (#375)Laurent Théry
2019-09-30ffact as a product similar to fact_prod (#374)Laurent Théry
2019-09-16fermat little theoremthery
2019-07-10totient for primethery
2019-07-05feat(finfun.v): Add tuple_of_finfun, finfun_of_tuple & cancel lemmasCyril Cohen
2019-06-04Fixpoint theorems in finsetCyril Cohen
2019-05-29reword entry in CHANGELOG_UNRELEASED.mdAnton Trunov
2019-05-29Move unreleased changelog entries to CHANGELOG_UNRELEASED.mdAnton Trunov
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 08:46:49 +0000