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.
chore(RingTheory/Spectrum/Prime/Module): golf stableUnderSpecialization_support using mem_support_mono (#30148)
Golf Module.stableUnderSpecialization_support using Module.mem_support_mono.