mathlib3

refactor: change field notation from k to \bbk

#1363

Merged