Skip to content

Add included lemmas for frac_agree

Hai Dang requested to merge hai/frac_agree_included into master

Some derived (and convenient) lemmas are missing.

Edited by Hai Dang

Merge request reports