PR !4#22919: feat(Data/Fintype/Pi): Make `Fintype` instan...

Stream: triage

[Random Issue Bot]

Today I chose PR #22919 for discussion!

feat(Data/Fintype/Pi): Make Fintype instance for RelHoms computable
Created by @Aaron Liu (@plp127) on 2025-03-14
Labels: awaiting-author, t-data

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

[Yaël Dillies]

This will need to be reopened from a fork