Closed SrutiG closed 5 years ago
Keep reference to proofs when they are edited
Maintain order and proper proofs when one or more is deleted
Keep reference to proofs when they are edited
Maintain order and proper proofs when one or more is deleted