Def boolean_algebra.of_regular

Modification history