Commit 2022-12-28 14:53 bc2fc2dc

View on Github →

feat: port Algebra.Ring.Ulift (#1240) Most of the porting consists of doing by hand what pi_instance_derive_field did.

Estimated changes