  We show that the functor which assigns to an Ainfty-morphism between isotopy
classes of Ainfty-algebras whose linear part is a chain homotopy equivalence
its underlying chain map is a discrete Grothendieck bifibration.
