PR !4#16061: feat(Data/Finsupp/Defs): `induction_on_max`

Stream: triage

[Random Issue Bot]

Today I chose PR 16061 for discussion!

feat(Data/Finsupp/Defs): induction_on_max
Created by @Violeta Hernández (@vihdzp) on 2024-08-22
Labels: t-data

Is this PR still relevant? Any recent updates? Anyone making progress?

[Violeta Hernández]

This is relevant! It just seems to have slipped out of the queue...

[Yaël Dillies]

maintainer merged

[Violeta Hernández]

Thanks!