Commit 2022-07-20 07:41 ffc640f4

View on Github →

feat(ring_theory/derivation): Derivations into square-zero ideals corresponds to liftings. (#15244)

Estimated changes