Commit 2024-10-03 14:46 915e456f

View on Github →

feat(UniformSpace.Basic): add ball_preimage (#17375) Simple lemma about the preimage of a ball and the ball of the preimage of an entourage.

Estimated changes

added theorem ball_preimage