[Merged by Bors] - feat(IntermediateField/LinearDisjoint): Two fields are linearly disjoint over K iff their intersection is K in the Galois case#27273
Closed
xroblot wants to merge 14 commits intoleanprover-community:masterfrom
Commits
Commits on Jul 6, 2025
- committed
Commits on Jul 7, 2025
- authored
Commits on Jul 18, 2025
Commits on Jul 19, 2025
- committed
Commits on Sep 12, 2025
Commits on Sep 24, 2025
Commits on Sep 26, 2025
Commits on Sep 29, 2025
Commits on Oct 12, 2025
- andauthored
