Composition¶
-
class
proveit.
Composition
(*maps, styles=None)[source]¶ Bases:
proveit.Operation
A Composition is an Expression that represents the composition of functions (lambda maps).
proveit.
Composition
(*maps, styles=None)[source]¶Bases: proveit.Operation
A Composition is an Expression that represents the composition of functions (lambda maps).