mathlib
b446c498 - feat(set_theory/cardinal): bit lemmas for exponentiation (#13010)

Commit

3 years ago

feat(set_theory/cardinal): bit lemmas for exponentiation (#13010)

Author

vihdzp

vihdzp

Parents

Loading