aboutsummaryrefslogtreecommitdiff
path: root/math/lean4/distinfo
blob: d20cb0cc673a324cf9cf10ac91ef75e7c5621a58 (plain) (blame)
1
2
3