[Merged by Bors] - feat: Finset.nsmul_inf'
#15408
The logs for this run have expired and are no longer available.
Loading
Finset.nsmul_inf'
#15408