Theorem complex.{u}
Modification history
2023-04-05 10:55
src/data/complex/module.lean
refactor(linear_algebra/dimension): use `rank` in lemma names instead of `dim` (#18741) …
Modified complex.{u}View on Github →2021-09-19 13:44
src/data/complex/module.lean
refactor(set_theory/{cardinal,ordinal}): swap the order of universes in `lift` (#9273) …
Modified complex.{u}View on Github →