Theorem Setoid.classes_ker_subset_fiber_set

Modification history