mathlib
79dccba9 - refactor: change field notation from k to \bbk (#1363)

Commit

6 years ago

refactor: change field notation from k to \bbk (#1363) * refactor: change field notation from k to \bbK * change \bbK to \bbk

References

Author

sgouezel

Committer

mergify[bot]

Parents