compose

proveit.logic.compose(\*expressions, \*\*defaults_config)[source]

Returns [A and B and …], the And operator applied to the collection of given arguments, derived from each separately.

Keyword arguments are accepted for temporarily changing any of the attributes of proveit.defaults.