This is your work, valued

Boris Alexeev

@plby

lean-proofs. Some Lean proofs

32