Commit 2024-02-07 22:10 031453e0

View on Github →

feat: Proof that IntermediateField.lift is injective (#10031) Add map_injective and lift_injective for IntermediateField. Also minize the imports

Estimated changes