Skip to content

Update Basic.lean

99d7908
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

refactor(Analysis): golf Mathlib/Analysis/SpecialFunctions/Gamma/Basic #38273

Update Basic.lean
99d7908
Select commit
Loading
Failed to load commit list.