CAP_project icon indicating copy to clipboard operation
CAP_project copied to clipboard

Unify style of documention

Open mohamed-barakat opened this issue 3 years ago • 3 comments

Example: The two following CAP operations use a different style in the documentation:

  • UniversalMorphismIntoDirectProductWithGivenDirectProduct
  • UniversalMorphismFromCoproductWithGivenCoproduct

mohamed-barakat avatar Sep 17 '22 18:09 mohamed-barakat

The only difference I can spot is how source/range of the return value is written. Is this what you mean?

zickgraf avatar Sep 21 '22 15:09 zickgraf

Yes.

mohamed-barakat avatar Sep 21 '22 17:09 mohamed-barakat

I would suggest the for all WithGiven-operations the WithGiven-object(s) should appear as the source/target.

mohamed-barakat avatar Sep 21 '22 17:09 mohamed-barakat