Commit 2019-11-11 21:44 d0778871

cleanup(data/equiv/basic): drop quot_equiv_of_quot', rename quot_equiv_of_quot (#1672)

• cleanup(data/equiv/basic): drop quot_equiv_of_quot', rename quot_equiv_of_quot
• quot_equiv_of_quot was the same as quot.congr
• rename quot_equiv_of_quot to quot.congr_left to match quot.congr and quot.congr_right.
• Add docs