ByNobleID
    On extensions of compatible pairs of isomorphisms | NobleID