Commit 2025-08-17 01:50 7caf0e50
View on Github →feat(Algebra/ModEq): a lemma about [PMOD (n • p)] (#25153)
This ultimately didn't end up very useful to me, but I think it's still a nice result.
feat(Algebra/ModEq): a lemma about [PMOD (n • p)] (#25153)
This ultimately didn't end up very useful to me, but I think it's still a nice result.