9b0beb48 - mathematics_in_lean

Authored by: Patrick Massot
Authored at: 2023-07-03 11:36:14 +0200
Committed by: Patrick Massot
Committed at: 2023-07-03 11:36:14 +0200
Object name: 9b0beb48d51a7ddbdb371ff679cb4460cc055180
Parent: 111f9dfd

Update lun. 03 juil. 2023 11:36:14 CEST

Changes

1 changed files (+0/-0)

mathematics_in_lean.pdf