Theorem IsRightRegular.isUnit_of_finite

Modification history