Skip to content

202403071931
Compare
Choose a tag to compare
@github-actions github-actions released this 07 Mar 19:32
202403071931
3fb30f5 
SequencesExt!Fold[Left|Right]Domain over domain of sequence.

https://github.com/tlaplus/CommunityModules/issues/101

[Feature]

Signed-off-by: Markus Alexander Kuppe <[email protected]>
Assets 6
Loading