Theorem CompHausLike.LocallyConstant.adjunction_left_triangle

Modification history