UNPKG

lean4-code-actions

Version:

Refactorings and snippets for Lean 4

3 lines (2 loc) • 40 B
1
2
3
// milliamper/hour export const mAh = 1