We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
imply::eq_double_neg_left
imply::rev_double_neg_left
double_neg_left
imply::double_neg
SplitEpic
SplitMonic
split_epic
split_monic
fun::inv
fun::id::eq_comp_right_inv_id
fun::id::eq_comp_left_inv_id
halt
fun::inv::inv_rev_val_qu
fun::inv::inv_eq
