Theorem map_inv₀

Modification history