Theorem preimage_mul_closedBall

Modification history