ToDoList entry to propagate welldefinedness to source and range of morphism
Some todolist entries for welldefinedness.
IsWellDefined methods

usage: RestrictedGeneralizedMorphismCategory
WellDefined method for products
Merge branch 'master' of https://github.com/sebasguts/CategoriesForHomalg

* 'master' of https://github.com/sebasguts/CategoriesForHomalg:
  Some more WellDefined fixups.
  WellDefined Fixup in Opposite
  Some cleanups regarding WellDefined

Conflicts:
	gap/GeneralizedMorphismCategory.gi
Merge remote-tracking branch 'Sepp/master'

* Sepp/master:
  IsWellDefined methods