f78b56ef - mathematics_in_lean

Authored by: Jeremy Avigad
Authored at: 2023-05-29 21:51:11 -0400
Committed by: Jeremy Avigad
Committed at: 2023-05-29 21:51:11 -0400
Object name: f78b56efc3ea2b6c38a51933e3da69c1ce6bea76
Parent: 148a4031

Update Mon 29 May 2023 09:51:11 PM EDT

Changes

1 changed files (+0/-0)

mathematics_in_lean.pdf