Mentions légales du service

Skip to content
  • David Hauzar's avatar
    Projections of indices of maps. · baac0c6b
    David Hauzar authored
    The transformation intro_projections_counterexmp now can project maps
    with indices of types that should be projected (to type "t_to")
    to maps with indices that are projections of indices of original maps
    (they are of the type "t_to").
    baac0c6b