Insert the given definition --- defined within the given scope --- into the passed along environments will take care of propagation. Does not modify the passed along environments in-place! It returns the new reference.
definition
environments
Insert the given
definition--- defined within the given scope --- into the passed alongenvironmentswill take care of propagation. Does not modify the passed alongenvironmentsin-place! It returns the new reference.