Gabor Csizmadia

`Pmf.copy()` was recently changed to create shallow copies by default: https://github.com/AllenDowney/empiricaldist/commit/e1c6cc9a903b613fa5e388719a73ae6968f25ac0 I suspect that change was unintentional, since creating a deep copy is a safer default, and it's what I...

### Prerequisites Please put an X between the brackets as you perform the following steps: * [X] Check that your issue is not already filed: https://github.com/leanprover/lean4/issues * [X] Reduce the...