Merge pull request #96 from affeldt-aist/warnings_20220619

Deprecated lemmas

Author: CohenCyril

_CoqProject

@@ -10,4 +10,4 @@ set.v
 -arg -w -arg +non-primitive-record
 -arg -w -arg +undeclared-scope
 -arg -w -arg -ambiguous-paths
--arg -w -arg -uniform-inheritance
+-arg -w -arg -uniform-inheritance