Proposition is_groupoid

Quick Reference

Web ID 608c3d0b-39fc-44b6-a6f6-d22b67e56d8b
Description True if the category is a groupoid (i.e. all morphisms are isomorphisms).