Def Condensed

Modification history

2023-06-29 20:50

Mathlib/Condensed/Basic.lean

chore: fix universe parameters in `Condensed`. (#5574)

Modified Condensed View on Github →

2023-06-02 11:07

Mathlib/Condensed/Basic.lean

feat: Condensed objects (#4527)

Added Condensed View on Github →