The French Undergraduate Math corpus comes from here.
Links in the database will take you to the item in the Lean theorem prover as assigned by the curators of the list.
The following is a list of concepts from the France corpus that were not mapped to Wikidata. Our current thoughts as to why they were not mapped is the inclusion of pronouns that refer to missing antecedents and nonstandard plurals. At some point we plan to map these by hand.