mathlib3
edd801f7 - chore(set_theory/cardinal): ensure `c ^ ↑n = c ^ n` is definitional (#9842)

Commit

4 years ago

chore(set_theory/cardinal): ensure `c ^ ↑n = c ^ n` is definitional (#9842)

Author

urkud

urkud

Parents

Loading