Theorem map_div₀

Modification history