Cleaning.
Renamed a property.
Simplified some proofs.
Cosmetic changes.
Added doc.
Cosmetic changes.
Added doc.
Cosmetic changes.
Simplified some proofs.
Cosmetic changes.