aboutsummaryrefslogtreecommitdiff
path: root/CHANGELOG_UNRELEASED.md
AgeCommit message (Expand)Author
2020-09-08Merge pull request #577 from CohenCyril/mulmxPaffeldt-aist
2020-09-08Lemma mul_rvPCyril Cohen
2020-09-08split_find_nth and split_find lemmasCyril Cohen
2020-09-07Adding [row|col]_[udlr]submx lemmasCyril Cohen
2020-09-07Refactoring proof of det_trig and spawning sublemmasCyril Cohen
2020-09-07Polynomial evaluation and minimal poly of a diagonal matrixCyril Cohen
2020-09-05Adding contra lemmas with ordersCyril Cohen
2020-09-04Adding more map_mx lemmasCyril Cohen
2020-09-04Merge pull request #575 from CohenCyril/mxOverLaurent Théry
2020-09-03Lemmas reindex_omap and bigD1_ordCyril Cohen
2020-09-03Merge branch 'missing_mxalgebra' of https://github.com/CohenCyril/math-comp i...thery
2020-09-03Lemmas mxminpoly_minP and dvd_mxminpolyCyril Cohen
2020-09-03Adding missing mxalgebra lemmasCyril Cohen
2020-09-03Merge pull request #558 from CohenCyril/are_allpairsEnrico Tassi
2020-09-03Merge pull request #565 from CohenCyril/split_ordPLaurent Théry
2020-09-03Merge pull request #564 from CohenCyril/pinvmxLaurent Théry
2020-09-03Adding allrel predicateCyril Cohen
2020-09-03New `big_uncond` and `big_rmcond -> big_rmcond_in`Cyril Cohen
2020-09-03Merge pull request #560 from CohenCyril/commr_hornerLaurent Théry
2020-09-03More pinvmx theoryCyril Cohen
2020-09-03Adding mxOver predicateCyril Cohen
2020-09-03Adding commr_horner lemmaCyril Cohen
2020-09-03Expliciting relation between split and [lr]shiftCyril Cohen
2020-09-03Extracting a nonzero coefficient from a nonzero matrixCyril Cohen
2020-09-03Elementary theory of diagonal and triagular matricesCyril Cohen
2020-09-01Adding sig_big_dep lemmaCyril Cohen
2020-08-25Adding lemma `oddS`Cyril Cohen
2020-08-17Qualify the dual_* notations with the Order moduleKazuhiko Sakaguchi
2020-08-16Merge pull request #517 from thery/minnCyril Cohen
2020-08-15Extra theorems about subn min and maxthery
2020-08-13Merge pull request #553 from chdoc/non-reversible-notationCyril Cohen
2020-08-13fix non-reversible-notation warningsChristian Doczkal
2020-08-12Get rid of displays in class fields and mixin parametersKazuhiko Sakaguchi
2020-08-11fix notation-incompatible-format warningsChristian Doczkal
2020-06-26lemmas for proper and setCChristian Doczkal
2020-06-24missing lemmas discovered while developing mathcomp-analysisReynald Affeldt
2020-06-18drop_uniq / CHANGELOGChristian Doczkal
2020-06-17contra lemmas involving propositionsChristian Doczkal
2020-06-09edit changelogs before releaseReynald Affeldt
2020-06-06bugfixCyril Cohen
2020-06-06fix the changelogReynald Affeldt
2020-06-06add new lemmas to the changelogReynald Affeldt
2020-06-06ImprovementsCyril Cohen
2020-06-06tentative changelogReynald Affeldt
2020-06-05Merge pull request #514 from affeldt-aist/lemmas_from_analysis_20200521Yves Bertot
2020-06-05fix namingReynald Affeldt
2020-06-05Missing mono lemmas (#513)Cyril Cohen
2020-06-04fix changelogReynald Affeldt
2020-06-04fix namingReynald Affeldt
2020-06-03add real_* variantsReynald Affeldt
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 04:15:36 +0000