tree 21c5448ab42548aad6a7454c1e1e9107a475e87b
parent 75d19f307733a42a99be411fc28f1a926c358ddf
author Gilles Sadowski <gilleseran@gmail.com> 1586192772 +0200
committer Gilles Sadowski <gilleseran@gmail.com> 1586192772 +0200

MATH-1530: Loop rewrite.