Def LightCondensed

Modification history

2024-05-14 00:12
Mathlib/Condensed/Light/Basic.lean
feat(Condensed): light condensed objects (#11586) …
Added LightCondensedView on Github →