golf, remove a questionable set lemma - SemanticDiff

Commit

3 years ago

golf, remove a questionable set lemma

References

invariant_submodule

#18289 - feat(linear_algebra/invariant_submodule): invariant submodules

Author

eric-wieser

eric-wieser

Parents

Loading