Theorem Int.preimage_ball

Modification history