-
François Clément authoredShorten some proofs. Add and prove f_inv_id_{l,r}.François Clément authoredShorten some proofs. Add and prove f_inv_id_{l,r}.
Shorten some proofs.
Add and prove f_inv_id_{l,r}.
Shorten some proofs.
Add and prove f_inv_id_{l,r}.