Composition

class proveit.Composition(*maps, styles=None)[source]

Bases: proveit.Operation

A Composition is an Expression that represents the composition of functions (lambda maps).