Skip to content

Update Basic.lean

991dfa8
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Closed

refactor: golf only Function/SimpleFunc, Function/LpSeminorm/Basic #38107

Update Basic.lean
991dfa8
Select commit
Loading
Failed to load commit list.