Skip to content

chore(Algebra.Lie): do not always coerce a LieSubmodule to a `Submo… #10626

chore(Algebra.Lie): do not always coerce a LieSubmodule to a `Submo…

chore(Algebra.Lie): do not always coerce a LieSubmodule to a `Submo… #10626

Annotations

1 warning

Post-CI job

succeeded Sep 24, 2024 in 12s