Theorem map_mul_right_nhds_one₀

Modification history