mathlib3
refactor: change field notation from k to \bbk
#1363
Merged
Overview
Commits
3
Changes
View On GitHub
Commits
  • refactor: change field notation from k to \bbK
    sgouezel committed 6 years ago
  • change \bbK to \bbk
    sgouezel committed 6 years ago
  • Merge branch 'master' into field_notation
    mergify[bot] committed 6 years ago
FAQ Terms Privacy Refunds Impressum
Loading