-
François Clément authoredRename cancel_id -> can_equiv. Add and prove comp_id, can_id.
François Clément authoredRename cancel_id -> can_equiv. Add and prove comp_id, can_id.
Rename cancel_id -> can_equiv. Add and prove comp_id, can_id.
Rename cancel_id -> can_equiv. Add and prove comp_id, can_id.