Commit 2026-05-12 22:40 a529ac80

View on Github →

feat: continuous version of Submodule.liftQ (#39273)

Estimated changes

added theorem Submodule.coe_liftQL
added def Submodule.liftQL
added theorem Submodule.liftQL_apply