Function Min_Dfa-Df

Part of:

package lisplab
( min_dfa-df < a > < b > < c > )