PR #1363 refactor: change field notation from k to \bbk

refactor: change field notation from k to \bbk #1363

mergify merged 3 commits into leanprover-community:master from sgouezel:field_notation

refactor: change field notation from k to \bbK

2fc5b323

sgouezel requested a review 6 years ago

change \bbK to \bbk

b3234f5e

sgouezel changed the title ~~refactor: change field notation from k to \bbK~~ refactor: change field notation from k to \bbk 6 years ago

PatrickMassot approved these changes on 2019-08-28

PatrickMassot added ready-to-merge

Merge branch 'master' into field_notation

24c523c4

mergify merged 79dccba9 into master 6 years ago

sgouezel deleted the field_notation branch 6 years ago

Reviewers

PatrickMassot

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone