Moved rcons Lemmas out of plactic.v
Cleanup using mathcomp path and 'case eqP'
Some progress on Green's invariants
Implicit argument warning
Added minor lemmas on shapes
Stuck on cast
Finished green on tableaux !
Rewrote induction part of green of tableaux
Conjugate of a partition
Green of tableau with conjugate
Created greeninv
Added ordcast for enumeration and cast of ordinals
Generic Green invariants
More ordcast lemmas
renamed subset_trans
More lemmas in ordcast
Added extract_seq
Progress on Green's invrariants