proveit.logic.
compose
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.