3213b1b3b0
Also reorder the arguments of is_equiv_compose |
||
---|---|---|
.. | ||
coeq.hlean | ||
colimit.hlean | ||
default.hlean | ||
groupoid_quotient.hlean | ||
hit.md | ||
pointed_pushout.hlean | ||
prop_trunc.hlean | ||
pushout.hlean | ||
quotient.hlean | ||
quotient_functor.hlean | ||
refl_quotient.hlean | ||
set_quotient.hlean | ||
trunc.hlean | ||
two_quotient.hlean |