aboutsummaryrefslogtreecommitdiff
path: root/mathcomp/field/finfield.v
AgeCommit message (Expand)Author
2020-11-19Removing duplicate clears and turning the warning into an errorCyril Cohen
2020-06-06ImprovementsCyril Cohen
2019-12-11Add (meet|join)_(l|r), some renamings, and small cleanupsKazuhiko Sakaguchi
2019-12-11Make an appropriate use of the order library everywhere (#278, #280, #282, #2...Kazuhiko Sakaguchi
2019-11-27Explicit `bigop` enumeration handlingGeorges Gonthier
2019-11-14typo (#412)Laurent Théry
2019-05-17refactor `seq` permutation theoryGeorges Gonthier
2019-04-26Cleaning Require and Require ImportsCyril Cohen
2018-12-04Remove `_ : Type` from packed classesAnton Trunov
2016-11-07update copyright bannerAssia Mahboubi
2015-12-12Revert "HACK: work around regression in 8.5"Enrico Tassi
2015-12-10HACK: work around regression in 8.5Enrico Tassi
2015-12-04Trailing whitespace removalGeorges Gonthier
2015-12-04Explicit construction of finite fieldsGeorges Gonthier
2015-12-04Some proof refactoringGeorges Gonthier
2015-12-04Move finfield to field moduleGeorges Gonthier
2015-03-24change finfield from field to characterCyril Cohen
2015-03-09Initial commitEnrico Tassi
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 13:05:49 +0000