Theorem iSupIndep.map_orderIso

Modification history