Theorem map_supᵢ₂

Modification history