Commit 2025-11-07 17:06 e99565a1

View on Github →

chore(RingTheory/Spectrum/Prime/Module): golf stableUnderSpecialization_support using mem_support_mono (#30148) Golf Module.stableUnderSpecialization_support using Module.mem_support_mono.

Estimated changes