Theorem generatePiSystem_subset_self

Modification history