relation grouping reflection.json

{
  "id": "grouping_reflection_descent",
  "class": "domain_condition",
  "criterion": "Reflectiondescendsiff anytwoelementsinthesamegroup havereflections inthesamegroup.",
  "proof": "Amaponthequotientiswell-defined exactlywhentherepresentativechoice doesnotchangeitsoutputclass.",
  "measure_relation": "Pushforwardofoccurrencemeasureusesmultiplicity evenwhenreflectiondoesnotdescend.",
  "Toledot_witness": {
    "collapsed_occurrences": [
      9,
      10
    ],
    "reflections": [
      3,
      2
    ],
    "output_sections": [
      3,
      2
    ]
  },
  "NT_contrast": "Theinheritedprimaryseven-edgegroupinghasreflection-compatiblefibres.",
  "evidence": [
    "inherited/model/toledot_quotient.json",
    "C1024\u2013C1029"
  ]
}