Theorem OrderIso.map_supᵢ

Modification history