Commit 2024-08-23 14:42 8738ebfe
View on Github →feat(FieldTheory/Normal): Intersection of normal extensions is normal (#15290) This PR proves that an intersection of normal extensions is normal (we already have that a compositum of normal extensions is normal).