Skip to content

Update Basic.lean #145293

Update Basic.lean

Update Basic.lean #145293

Lint style

succeeded Nov 24, 2024 in 1m 0s