Def tightlyWrapped

Modification history

2026-04-05 12:58
MathlibTest/Linarith/Basic.lean
chore: modulize tests (5/N) (#37654)
Added tightlyWrappedView on Github →