Skip to content

make a few cosmetic tweaks in the EDF optimality proof

As discussed in #57 (closed).

Merge request reports

Loading