Skip to content

Conversation

@bsaul
Copy link
Contributor

@bsaul bsaul commented Jan 5, 2026

This PR adds additional properties to Algebra.Module.Properties.LeftModule.

NOTE: I can also add the corresponding properties to RightModule, but I'll wait for any discussions of naming and appropriateness of the LeftModule properties to conclude first.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant