Theorem isSubmonoid_unionᵢ_of_directed

Modification history