Revision - 1094251 - reworked and cleanup of the proof of Lagrange for better explanations

Revision 10942513a573b845f1d8695ea8f44f8f858c8dd7 authored by Dominique Larchey-Wendling on 31 January 2020, 21:38:52 UTC, committed by Dominique Larchey-Wendling on 31 January 2020, 21:38:52 UTC

reworked and cleanup of the proof of Lagrange for better explanations

1 parent 9bd5607

Files
Changes

Permalinks

File	Mode	Size
Libs
Prelim.v	-rw-r--r--	27.2 KB

Showing with 0 additions and 0 deletions (0 / 0 diffs computed)

Computing file changes ...